os/kernel/cpu/i386/cpu_init.c
2020-07-25 16:54:37 -05:00

10 lines
70 B
C

/**
* \file
*/
#include "gdt.h"
void cpu_init() {
gdt_init();
}