void main(uint32_t r0, uint32_t r1, uint32_t atags) {
(void) r0;
(void) r1;
(void) atags;
uart_init();
uart_puts("rpi-uart-boot initialised successfully!\r\n");
uart_puts("waiting for image on UART0\r\n");
while(1)
loader_main();
}
/** Main function of the PC loader. */
void platform_init(void) {
/* Set up console output. */
console_init();
/* Initialize the architecture. */
arch_init();
/* Initialize hardware. */
memory_init();
disk_init();
vbe_init();
/* Parse information from Multiboot. */
multiboot_init();
/* Call the main function. */
loader_main();
}