diff options
Diffstat (limited to 'src/drivers/driver.c')
| -rw-r--r-- | src/drivers/driver.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/drivers/driver.c b/src/drivers/driver.c index 18428dc..c9633b8 100644 --- a/src/drivers/driver.c +++ b/src/drivers/driver.c @@ -3,6 +3,7 @@ #include "kernel.h" #include "string.h" #include "stdio.h" +#include "stdlib.h" static driver_vtable_t const driver_vtable = { driver_register_interrupt_handler, @@ -90,6 +91,7 @@ void driver_manager_deinit( driver_manager_t *manager ) for( int i = manager->nof_drivers - 1; i >= 0; i-- ) { driver_t *driver = (driver_t *)manager->driver[i]; driver->vtable->deinit( driver ); + free( driver ); } } |