#ifndef HAL_GDT_H_
#define HAL_GDT_H_

#define KCODE 0x08
#define KDATA 0x10
#define UCODE 0x18
#define UDATA 0x20
#define TSS   0x28

void gdt_init(void);

#endif // HAL_GDT_H_