added a virtual network driver interface, made the dummy RTL8139 driver a specialization of it

(nothing is functional there yet)

1 files changed, 4 insertions, 2 deletions

diff --git a/src/drivers/driver.c b/src/drivers/driver.c
index 829262e..0bd8059 100644
--- a/src/drivers/driver.c
+++ b/src/drivers/driver.c
@@ -2,7 +2,6 @@
 
 #include "kernel.h"
 #include "string.h"
-#include "stdio.h"
 #include "stdlib.h"
 
 static driver_vtable_t const driver_vtable = {
@@ -25,19 +24,22 @@ void driver_init( driver_t *driver, driver_type_t type, interrupt_t *interrupt,
 
 void driver_activate( void *obj )
 {
+	kernel_panic( "Activating a generic driver should not be called directly." );
 }
 
 void driver_deactivate( void *obj )
 {
+	kernel_panic( "Deactivating a generic driver should not be called directly." );
 }
 
 void driver_deinit( void *obj )
 {
+	// nothing to be done
 }
 
 void driver_print_info( void *obj )
 {
-	puts( "Unknown driver" );	
+	kernel_panic( "Printing info of a generic driver should not be called directly." );
 }
 
 void driver_manager_init( driver_manager_t *manager )