aedrix-kernel/kernel/start_kernel.c

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

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

struct fb myfb;

void video(void) {
//	unsigned int x, y;
	pl110_init(&myfb, 24);
//	x = 0, y = 0;
//	for (y=0; y<480; y++)
//		for (x=0; x<640; x++)
//			fb_write_pixel(&myfb, x, y, 0x3f, 0x0, 0x6f);
	console_init(&myfb);
}
 
int main(void) {
	print_init(&pl011_putc); //initialize the serial console

	video();

	return 0;
}