19 lines
332 B
C
19 lines
332 B
C
#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");
|
|
while (1);
|
|
}
|