kernel/inc/platform
..
cpu.h
exceptions.h
gdt.h
interrupts.h
syscall.h