/src/kernel/arch/amd64/32/

• ../
• 32
• boot.s
• gdt.c
• gdt.h
• paging.c
• util.c
• util.h