hTC Pico Kernel Source, obtained from https://guthub.com/sakindia123/htc_pico_kernel