Store device structs in a dynamic list

kernel/dev/ps2kbdev.c

@@ -6,6 +6,8 @@
 #include "dev.h"
 #include "errors.h"
 #include "dlmalloc/malloc.h"
+#include "util/util.h"
+#include "syscall/devctl.h"
 
 Dev PS2KBDEV;
 Ps2KbFastBuf PS2KB_BUF;
@@ -32,4 +34,5 @@ void ps2kbdev_init(void) {
   uint8_t *buf = dlmalloc(bufsz);
   rbuf_init(&PS2KB_BUF.rbuf, buf, bufsz);
   PS2KB_BUF.init = true;
+  LL_APPEND(DEVS, &PS2KBDEV);
 }