platform/kernel/startup.splatform/kernel/vga.hplatform/kernel/vga.cplatform/kernel/main.ckernel.elf
kernel.ldbuild_kernel.shplatform/kernel/ram_disk_block_device.hplatform/kernel/ram_disk_block_device.cplatform/kernel/main.cbuild_kernel.shplatform/kernel/lib.c