diff options
| author | Alex Auvolat <alex@adnab.me> | 2016-07-30 23:39:14 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex@adnab.me> | 2016-07-30 23:39:14 +0200 |
| commit | 2f34f0694f953fd00d2885b86634bbd618852fed (patch) | |
| tree | 2eabba74b136043596e0bc6e5148184a4e7da87b /src/kernel/core | |
| parent | f58f65c30de315d4419f69a92a708cbed797ff37 (diff) | |
| download | kogata-2f34f0694f953fd00d2885b86634bbd618852fed.tar.gz kogata-2f34f0694f953fd00d2885b86634bbd618852fed.zip | |
Fix stuff
Diffstat (limited to 'src/kernel/core')
| -rw-r--r-- | src/kernel/core/kmain.c | 2 |
1 files changed, 2 insertions, 0 deletions
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(); |