diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:45:06 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:45:06 +0200 |
| commit | 878c5456c5a2f9bff741a7b7bcdccd5c1694db22 (patch) | |
| tree | bcf3d101215fa70b953aa7e9d0de805c5f8865b4 /libddekit/init.c | |
| parent | 9062642230b7bfb48e7b30f98cba8528172b2d36 (diff) | |
| parent | c8f311a7a32d4b0cb0c21672f63bca8efdf5d83a (diff) | |
Merge branch 'dde' into HEAD
Diffstat (limited to 'libddekit/init.c')
| -rw-r--r-- | libddekit/init.c | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/libddekit/init.c b/libddekit/init.c new file mode 100644 index 00000000..7caf4c44 --- /dev/null +++ b/libddekit/init.c @@ -0,0 +1,31 @@ +/** + * The functions regarding DDE/BSD initialization are found here. + * + * \author Thomas Friebel <tf13@os.inf.tu-dresden.de> + */ +#include <error.h> +#include <mach.h> +#include <hurd.h> + +#include "ddekit/thread.h" + +mach_port_t priv_host; + +void ddekit_init(void) +{ + extern void linux_kmem_init (); + extern int log_init (); + extern void interrupt_init (); + extern int pgtab_init (); + error_t err; + + err = get_privileged_ports (&priv_host, NULL); + if (err) + error (2, err, "get_privileged_ports"); + + ddekit_init_threads(); + pgtab_init (); + log_init (); + interrupt_init (); +} + |