From 7c5b277187608b8d8f18910f24c7446303cd4f1e Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sat, 25 Feb 2017 17:19:09 +0100 Subject: [PATCH] after booting, print the number of possible cores --- kernel/main.c | 1 + 1 file changed, 1 insertion(+) diff --git a/kernel/main.c b/kernel/main.c index e0efe8d7a..7a6f4c881 100644 --- a/kernel/main.c +++ b/kernel/main.c @@ -595,6 +595,7 @@ int hermit_main(void) LOG_INFO("Current allocated memory: %zd KiB\n", atomic_int64_read(&total_allocated_pages) * PAGE_SIZE / 1024ULL); LOG_INFO("Current available memory: %zd MiB\n", atomic_int64_read(&total_available_pages) * PAGE_SIZE / (1024ULL*1024ULL)); LOG_INFO("Core %d is the boot processor\n", boot_processor); + LOG_INFO("System is able to use %d processors\n", possible_cpus); if (hbmem_base) LOG_INFO("Found high bandwidth memory at 0x%zx (size 0x%zx)\n", hbmem_base, hbmem_size);