1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
#define STAGE1 #include "stage1.h" #include <stddef.h> #include <stdint.h> #include <vga.h> #include <printk.h> #include <string.h> void centry(void) { vga_setup(25,80); uint8_t color = vga_color(0xF, 0); write("Bootloader is set to 32-bit mode.", color); while (1) { asm ("cli"); asm ("hlt"); } }