Kernel source code for the Minix Neo X7