Index: sys/riscv/riscv/machdep.c
===================================================================
--- sys/riscv/riscv/machdep.c
+++ sys/riscv/riscv/machdep.c
@@ -65,6 +65,7 @@
 #include <sys/tslog.h>
 #include <sys/ucontext.h>
 #include <sys/vmmeter.h>
+#include <sys/devmap.h>
 
 #include <vm/vm.h>
 #include <vm/vm_param.h>
@@ -898,6 +899,9 @@
 	kernlen = (lastaddr - KERNBASE);
 	pmap_bootstrap(rvbp->kern_l1pt, mem_regions[0].mr_start, kernlen);
 
+	/* Establish static device mappings */
+	devmap_bootstrap(0, NULL);
+
 	cninit();
 
 	init_proc0(rvbp->kern_stack);