Initial Linux kernel, with inline comments