#include #include #include #include #include #include "data.h" #include "vga.h" int main(int argc, char *argv[]) { /* set VGA 320x200, 256 col */ set_mode(0x13); set_palette(binary_palette_start); uint8_t *screen = open_framebuffer(); if (!screen) { fprintf(stderr, "ERROR: failed to open the framebuffer\n"); return 1; } for (int i = 0; i < 16; i++) { wait_vsync(); memset(screen, i, 320 * 200); getch(); } printf("Hello DOS!\n"); getch(); set_mode(3); close_framebuffer(); return 0; }