Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision e78136a315b1a1b69816544250886033caf1dd35)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision c0855a07e651764830613cf9d0ab5f143ee5c08d)
@@ -41,6 +41,4 @@
 extern void cuda_init(devno_t devno, uintptr_t base, size_t size);
 extern int cuda_get_scancode(void);
-extern void cuda_grab(void);
-extern void cuda_release(void);
 
 #endif
Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision e78136a315b1a1b69816544250886033caf1dd35)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision c0855a07e651764830613cf9d0ab5f143ee5c08d)
@@ -34,5 +34,4 @@
 
 #include <arch/drivers/cuda.h>
-#include <ipc/irq.h>
 #include <arch/asm.h>
 #include <console/console.h>
@@ -252,14 +251,10 @@
 static void cuda_irq_handler(irq_t *irq)
 {
-	if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox))
-		ipc_irq_send_notif(irq);
-	else {
-		int scan_code = cuda_get_scancode();
+	int scan_code = cuda_get_scancode();
 		
-		if (scan_code != -1) {
-			uint8_t scancode = (uint8_t) scan_code;
-			if ((scancode & 0x80) != 0x80)
-				chardev_push_character(&kbrd, lchars[scancode & 0x7f]);
-		}
+	if (scan_code != -1) {
+		uint8_t scancode = (uint8_t) scan_code;
+		if ((scancode & 0x80) != 0x80)
+			chardev_push_character(&kbrd, lchars[scancode & 0x7f]);
 	}
 }
@@ -269,32 +264,4 @@
 	return IRQ_ACCEPT;
 }
-
-
-/** Initialize keyboard and service interrupts using kernel routine */
-void cuda_grab(void)
-{
-	if (cuda) {
-		ipl_t ipl = interrupts_disable();
-		spinlock_lock(&cuda_irq.lock);
-		cuda_irq.notif_cfg.notify = false;
-		spinlock_unlock(&cuda_irq.lock);
-		interrupts_restore(ipl);
-	}
-}
-
-
-/** Resume the former interrupt vector */
-void cuda_release(void)
-{
-	if (cuda) {
-		ipl_t ipl = interrupts_disable();
-		spinlock_lock(&cuda_irq.lock);
-		if (cuda_irq.notif_cfg.answerbox)
-			cuda_irq.notif_cfg.notify = true;
-		spinlock_unlock(&cuda_irq.unlock);
-		interrupts_restore(ipl);
-	}
-}
-
 
 void cuda_init(devno_t devno, uintptr_t base, size_t size)
Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision e78136a315b1a1b69816544250886033caf1dd35)
+++ kernel/arch/ppc32/src/ppc32.c	(revision c0855a07e651764830613cf9d0ab5f143ee5c08d)
@@ -157,5 +157,4 @@
 {
 	fb_redraw();
-	cuda_grab();
 }
 
@@ -165,5 +164,4 @@
 void arch_release_console(void)
 {
-	cuda_release();
 }