/* hello guest: proves qemu cortex-a7 pipeline on zern. virt UART0 0x09000000. */
#define UART0 ((volatile unsigned int *)0x09000000)
static void uart_putc(char c) { *UART0 = (unsigned int)c; }
static void uart_puts(const char *s) { while (*s) uart_putc(*s++); }
void main(void) {
    uart_puts("SAIMAA-STUB: cortex-a7 alive, RAM ok\r\n");
    uart_puts("SAIMAA-STUB: next -> PBL reads SBL1 LBA 90112\r\n");
    while (1) { }
}