From 2f34f0694f953fd00d2885b86634bbd618852fed Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex@adnab.me>
Date: Sat, 30 Jul 2016 23:39:14 +0200
Subject: Fix stuff

---
 src/kernel/core/kmain.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/kernel/core')

diff --git a/src/kernel/core/kmain.c b/src/kernel/core/kmain.c
index 8ce9f0a..95b63d5 100644
--- a/src/kernel/core/kmain.c
+++ b/src/kernel/core/kmain.c
@@ -74,6 +74,8 @@ void kmain(multiboot_info_t *mbd, int32_t mb_magic) {
 	if (mbd->elf_sec.size != 0) {
 		elf_sections = (elf_shdr_t*)(mbd->elf_sec.addr + K_HIGHHALF_ADDR);
 		ASSERT(mbd->elf_sec.size == 0 || sizeof(elf_shdr_t) == mbd->elf_sec.size);
+	} else {
+		ASSERT(mbd->elf_sec.num == 0);
 	}
 
 	dbglog_setup();
-- 
cgit v1.2.3