#include <efi.h>
#include "../boot/bootinfo.h"
#include "graphics.h"

void kernel_main(BOOTINFO* b) {
    //graphics_init(b->GraphicsInfo->HorizontalResolution, b->GraphicsInfo->VerticalResolution, b->GraphicsInfo->PixelsPerScanLine, (uint32_t*) b->GraphicsFrameBuffer);
    uint32_t* at = (uint32_t*)b->GraphicsFrameBuffer;
    for (unsigned i = 0; i < 500000; i++)
        *at++ = 0x00ff0000;
    /*rect(0, 0, 10, 10, BLUE);
    line(20, 20, 45, 100, RED);
    pixel(100, 100, CYAN);
*/}