20 lines
321 B
C
20 lines
321 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");
|
|
}
|