Welcome to the FoxOS website!
extern "C" void load_gdt(gdt_descriptor_t* gdt_descriptor);
extern "C"
gdt_descriptor_t* gdt_descriptor
void