//
// Created by rick on 19-03-21.
//

#ifndef NEW_KERNEL_GDT_H
#define NEW_KERNEL_GDT_H

void gdt_init();

#endif //NEW_KERNEL_GDT_H