HelenOS sources

bcm2835_fb_init   184 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	if (bcm2835_fb_init(&prop, width, height)) {
bcm2835_fb_init   154 kernel/genarch/include/genarch/drivers/bcm2835/mbox.h extern bool bcm2835_fb_init(fb_properties_t *prop, uint32_t width, uint32_t heigth);
HelenOS homepage, sources at GitHub