From 2f34f0694f953fd00d2885b86634bbd618852fed Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Sat, 30 Jul 2016 23:39:14 +0200 Subject: Fix stuff --- src/kernel/core/kmain.c | 2 ++ src/kernel/user/syscall.c | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) (limited to 'src/kernel') 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(); diff --git a/src/kernel/user/syscall.c b/src/kernel/user/syscall.c index e89f62d..9497bf2 100644 --- a/src/kernel/user/syscall.c +++ b/src/kernel/user/syscall.c @@ -325,7 +325,6 @@ uint32_t select_sc(sc_args_t args) { if (h) { fds[i].got_flags = file_poll(h, &wait_objs[n_wait_objs]); if (wait_objs[n_wait_objs]) n_wait_objs++; - dbg_printf("KERNEL fds[%d].got_flags = 0x%p (fd %d)\n", i, fds[i].got_flags,fds[i].fd); if (fds[i].got_flags & fds[i].req_flags) ret = true; } } -- cgit v1.2.3