diff options
Diffstat (limited to 'libddekit')
| -rw-r--r-- | libddekit/init.c | 25 |
1 files changed, 1 insertions, 24 deletions
diff --git a/libddekit/init.c b/libddekit/init.c index 0532caed..2104d80f 100644 --- a/libddekit/init.c +++ b/libddekit/init.c @@ -3,33 +3,10 @@ * * \author Thomas Friebel <tf13@os.inf.tu-dresden.de> */ -#include <l4/dde/ddekit/panic.h> -#include <l4/dde/ddekit/thread.h> -#include <l4/dde/ddekit/memory.h> - -#include <l4/dde/dde.h> -#include <l4/log/l4log.h> -#include <l4/env/errno.h> -#include <l4/generic_io/libio.h> - -/* FIXME this must be initialized explicitly as some users may not need l4io, - * e.g., l4io's own pcilib. */ -static void ddekit_init_l4io(void) -{ - int err; - l4io_info_t *ioip = NULL; - - LOGd(0, "mapping io info page to %p", ioip); - err = l4io_init(&ioip, L4IO_DRV_INVALID); - if ( err | !ioip ) { - LOG("error initializing io lib: %s (err=%d, ioip=%p)", l4env_errstr(err), err, ioip); - ddekit_panic("fatal error"); - } -} +#include "ddekit/thread.h" void ddekit_init(void) { - ddekit_init_l4io(); ddekit_init_threads(); } |