diff --git a/hermit/kernel/main.c b/hermit/kernel/main.c
index b09bd8bfb..0088f9327 100644
--- a/hermit/kernel/main.c
+++ b/hermit/kernel/main.c
@@ -498,6 +498,7 @@ int hermit_main(void)
 	kprintf("Total memory: %zd MiB\n", atomic_int64_read(&total_pages) * PAGE_SIZE / (1024ULL*1024ULL));
 	kprintf("Current allocated memory: %zd KiB\n", atomic_int64_read(&total_allocated_pages) * PAGE_SIZE / 1024ULL);
 	kprintf("Current available memory: %zd MiB\n", atomic_int64_read(&total_available_pages) * PAGE_SIZE / (1024ULL*1024ULL));
+	kprintf("Core %d is the boot processor\n", boot_processor);
 
 #if 0
 	print_pci_adapters();
diff --git a/hermit/kernel/tasks.c b/hermit/kernel/tasks.c
index 04ffaf12d..1450a55ed 100644
--- a/hermit/kernel/tasks.c
+++ b/hermit/kernel/tasks.c
@@ -208,7 +208,7 @@ int init_tls(void)
 
 		// set fs register to the TLS segment
 		set_tls((size_t) tls_addr + curr_task->tls_size + TLS_OFFSET);
-		kprintf("TLS of task %d starts at 0x%zx (TLS)\n", curr_task->id, tls_addr + TLS_OFFSET);
+		kprintf("TLS of task %d on core %d starts at 0x%zx (TLS)\n", curr_task->id, CORE_ID, tls_addr + TLS_OFFSET);
 	} else set_tls(0); // no TLS => clear fs register
 
 	return 0;