diff options
Diffstat (limited to 'libddekit/init.c')
| -rw-r--r-- | libddekit/init.c | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/libddekit/init.c b/libddekit/init.c new file mode 100644 index 00000000..0532caed --- /dev/null +++ b/libddekit/init.c @@ -0,0 +1,35 @@ +/** + * The functions regarding DDE/BSD initialization are found here. + * + * \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"); + } +} + +void ddekit_init(void) +{ + ddekit_init_l4io(); + ddekit_init_threads(); +} + |