#ifndef GDT_H
#define GDT_H

void gdt_install();

#endif