; Must match the values of the same constants in gdt.h!
GDT_KERNEL_CODE_SELECTOR  equ     0x08
GDT_KERNEL_DATA_SELECTOR  equ     0x10