!<thin>
//                                              32        `
gdt_idt.pi.o/
map_kernel.pi.o/

/0              0           0     0     644     6416      `
/14             0           0     0     644     3840      `