CE interactive shell

kernel/device/ps2_kb.c

@@ -6,6 +6,7 @@
 #include <irq/irq.h>
 #include <libk/ringbuffer.h>
 #include <libk/std.h>
+#include <m/kb_device.h>
 #include <m/status.h>
 #include <proc/capability.h>
 #include <proc/proc.h>
@@ -205,6 +206,9 @@ int ps2kb_read_key (struct device* device, struct proc* proc, struct reschedule_
 
   uint8_t* chbuf = (uint8_t*)a1;
 
+  if (chbuf == NULL)
+    return -ST_BAD_ADDRESS_SPACE;
+
   spin_lock (&ps2kb_ringbuffer_lock);
 
   size_t prev_count = ps2kb_ringbuffer.count;