16 // Empty page directory
17 mov $page_directory, %edi
24 // Create simple page table to map kernel to 0xC0000000
35 // Map table into directory
38 mov $page_directory, %edi
44 mov $page_directory, %eax
55 mov $(kernel_stack + 0x4000), %esp
68 // Paging data used for startup
77 .lcomm kernel_stack, 0x4000