kernel/kbd: Add debug output to see what's going on in kbd_main()

diff --git a/kernel/kbd/main.c b/kernel/kbd/main.c
index dd93a5432fca8dc64d09c538005a85aeff467622..d898320d17a2c3f5063ee6d0cf423c676245ac6f 100644 (file)
--- a/kernel/kbd/main.c
+++ b/kernel/kbd/main.c
@@ -29,7 +29,13 @@ int _int_register(void)
 
 void _kbd_int_handler(int signal)
 {
+       char buf[64];
+       int len;
+
        debug("It works?\n", 10);
+       len = snprintf(buf, sizeof(buf), "%s: EIP = %p\n", __func__, *(((unsigned int*)&signal) - 1));
+
+       debug(buf, len);
 }
 
 int kbd_main(int argc, char *argv[])
@@ -45,8 +51,13 @@ int kbd_main(int argc, char *argv[])
                while(1) {
                        err = cxrecv(PID_ANY, &msg);
 
+                       debug("Test\n", 5);
+
                        if(err > 0) {
                                /* FIXME: Handle received message */
+                               debug("cxrecv() > 0\n", 13);
+                       } else {
+                               debug("cxrecv() <= 0\n", 14);
                        }
                }
        } else {