#define NCPU 3

#define UART ((char *)0x10000000)

void uart_putc(char c) {
    *UART = c;
}

void uart_puts(const char *s) {
    while (*s) {
        uart_putc(*s++);
    }
}

// Entry.S needs one stack per CPU.
__attribute__((aligned(16))) char stack0[4096 * NCPU];

void start() {
    uart_puts("Hello Neptune!\n");
}