#ifndef _KERNEL_INIT
#define _KERNEL_INIT

#include <stdio.h>

extern int tss[16][2];
extern unsigned short int * GDT;

int test_libc(void);
int init(void);

#endif