Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision d0688a30600aa30e1060767071023959eeb0dd60)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision 907bb492e6b79b87fceb2fb84e09b4834b52e273)
@@ -41,4 +41,5 @@
 #include <interrupt.h>
 #include <stdarg.h>
+#include <ddi/device.h>
 
 #define CUDA_IRQ 10
@@ -242,5 +243,5 @@
 }
 
-void cuda_init(devno_t devno, uintptr_t base, size_t size)
+void cuda_init(uintptr_t base, size_t size)
 {
 	cuda = (uint8_t *) hw_map(base, size);
@@ -250,5 +251,5 @@
 	
 	irq_initialize(&cuda_irq);
-	cuda_irq.devno = devno;
+	cuda_irq.devno = device_assign_devno();
 	cuda_irq.inr = CUDA_IRQ;
 	cuda_irq.claim = cuda_claim;
@@ -259,5 +260,4 @@
 	
 	sysinfo_set_item_val("kbd", NULL, true);
-	sysinfo_set_item_val("kbd.devno", NULL, devno);
 	sysinfo_set_item_val("kbd.inr", NULL, CUDA_IRQ);
 	sysinfo_set_item_val("kbd.address.virtual", NULL, base);