blob: 0532caedd31a7edffe41417790c28e831f3a1025 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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();
}
|
