1 files changed, 3 insertions, 0 deletions
diff --git a/src/proc.c b/src/proc.c
index 920cab0..c1dfc64 100644
--- a/src/proc.c
+++ b/src/proc.c
@@ -67,11 +67,14 @@ stat_t init_proc(void *fdt, vm_t *proc_fdt, vm_t *proc_initrd)
 	*proc_fdt = map_shared_fixed_uvmem(t,
 	                                   (pm_t)fdt, fdt_totalsize(fdt),
 	                                   VM_V | VM_R | VM_U);
+	assert(*proc_fdt);
 
 	pm_t initrd = (pm_t)__va(get_initrdbase(fdt));
 	*proc_initrd = map_shared_fixed_uvmem(t,
 	                                      initrd, get_initrdsize(fdt),
 	                                      VM_V | VM_R | VM_U);
+	assert(proc_initrd);
+
 	info("mapped fdt at %lx\n", *proc_fdt);
 	info("mapped initrd at %lx\n", *proc_initrd);
 	return OK;