blob: 5e6491cb2227cc8365bb93458dd662d6235b52f7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#include "video-vga.h"
/* Check if the compiler thinks you are targeting the wrong operating system. */
#if defined(__linux__)
#error "You are not using a cross-compiler, you will most certainly run into trouble"
#endif
#if !defined(__i386__)
#error "This kernel needs to be compiled with a ix86-elf compiler"
#endif
void kernel_main(void)
{
/* Initialize VGA video hardware */
vga_init();
vga_print("Welcome to MFSOS!\n\t");
}
|