diff options
Diffstat (limited to 'libddekit/init.c')
| -rw-r--r-- | libddekit/init.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/libddekit/init.c b/libddekit/init.c index 9114ff46..7caf4c44 100644 --- a/libddekit/init.c +++ b/libddekit/init.c @@ -3,16 +3,28 @@ * * \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(); - linux_kmem_init (); + pgtab_init (); log_init (); interrupt_init (); } |