/src/kernel/include/

• ../
• config.h
• dbglog.h
• frame.h
• gdt.h
• idt.h
• kmalloc.h
• multiboot.h
• paging.h
• process.h
• region.h
• sys.h
• thread.h