Expose storedevs to the outside world via dev interface

kernel/kmain.c

@@ -12,6 +12,7 @@
 #include "util/util.h"
 #include "proc/proc.h"
 #include "dev/dev.h"
+#include "randcrypto/randcrypto.h"
 
 const char *human_size(uint64_t bytes, char *buf, size_t bufsize) {
   static const char *units[] = { "B", "KiB", "MiB", "GiB", "TiB", "PiB" };
@@ -62,6 +63,7 @@ void kmain(void) {
   hal_init();
   pmm_init();
   hal_vmm_init();
+  randcrypto_init();
   dev_init();
   storedev_init();
   baseimg_init();