#ifndef GDT_HPP
#define GDT_HPP

void gdt_initialize();

#endif // GDT_HPP