aedrix-kernel/kernel/start_kernel.c

#include <print.h>
#include <devices/pl011.h>

#include <devices/pl110.h>
#include <framebuffer.h>

struct fb myfb;

void video(void)
{
	unsigned int x, y;
	pl110_init(&myfb, 16);
	x = 0, y = 0;
	for (y=0; y<480; y++)
		for (x=0; x<640; x++)
			fb_write_pixel(&myfb, x, y, 0xff, 0x00, 0x00);
}
 
int main(void)
{
	print_init(&pl011_putc); //initialize the serial console

	video();

	print("hello, world!\n");
	return 0;
}