Kernel sources of my Android Open Source Project