diff options
| -rw-r--r-- | demo/main.c | 5 | ||||
| -rw-r--r-- | demo/start.S | 1 |
2 files changed, 5 insertions, 1 deletions
diff --git a/demo/main.c b/demo/main.c index d8f38d4..858b50e 100644 --- a/demo/main.c +++ b/demo/main.c @@ -146,7 +146,10 @@ static void bsp_main(void) kick_cpus(); while (!boot_done); - print("booted %u cpus", NUM_CPUS); + + extern volatile unsigned _boot_num; + print("booted %u cpus", _boot_num); + _boot_num = 0; while (1) { char input[64]; diff --git a/demo/start.S b/demo/start.S index fd33231..74b5a65 100644 --- a/demo/start.S +++ b/demo/start.S @@ -44,6 +44,7 @@ _start: bl reset b . +.global _boot_num _boot_num: .word 0 |