Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision c9b550bff53b2109d2746935072fca1bbe632894)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision 691eb5227bb3faa6ab7918931f4c859c75819ec1)
@@ -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)