#include "Framebuffer.h" #include "arch/Serial.h" extern "C" void _start() { Serial::println("Hello, world!"); Framebuffer::init(); Framebuffer::rect(0, 0, 200, 200, 0xFF00FF00); for (;;) ; }