kernel code for simple linux OS runnable on Bochs emulator