Linux kernel for APP800