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);