diff --git a/user/init/main.c b/user/init/main.c
index ec026d7..5048671 100644
--- a/user/init/main.c
+++ b/user/init/main.c
@@ -2,7 +2,6 @@
 #include <ulib.h>
 
 uint64_t PID;
-Dev_t ps2kbdev;
 Dev_t termdev;
 
 void tb_runinitscript(void) {
@@ -29,8 +28,6 @@ void tb_runinitscript(void) {
 
 void main(void) {
   PID = proc_getpid();
-  dev_gethandle(&ps2kbdev, "ps2kbdev");
-  dev_cmd(&ps2kbdev, DEV_PS2KBDEV_ATTCHCONS, NULL, 0);
 
   tb_runinitscript();