os/cpu/i386/cpu_init.c

7 lines
88 B
C

#include "gdt.h"
#include "paging.h"
void cpu_init() {
gdt_init();
paging_init();
}