Index: uspace/lib/drv/generic/driver.c
===================================================================
--- uspace/lib/drv/generic/driver.c	(revision 9359aae9d5e8472d1863d2eb319c40c5d632be19)
+++ uspace/lib/drv/generic/driver.c	(revision 0c322fa10d559fc31f86dc344bff85166198d6e8)
@@ -63,5 +63,5 @@
 
 /** Driver structure */
-static driver_t *driver;
+static const driver_t *driver;
 
 /** Devices */
@@ -956,5 +956,5 @@
 }
 
-int ddf_driver_main(driver_t *drv)
+int ddf_driver_main(const driver_t *drv)
 {
 	/*
Index: uspace/lib/drv/include/ddf/driver.h
===================================================================
--- uspace/lib/drv/include/ddf/driver.h	(revision 9359aae9d5e8472d1863d2eb319c40c5d632be19)
+++ uspace/lib/drv/include/ddf/driver.h	(revision 0c322fa10d559fc31f86dc344bff85166198d6e8)
@@ -116,5 +116,5 @@
 #endif
 
-extern int ddf_driver_main(driver_t *);
+extern int ddf_driver_main(const driver_t *);
 
 extern void *ddf_dev_data_alloc(ddf_dev_t *, size_t);