blob: 7caf4c44c97978ce1aa6a69e9df83ec78b44785f (
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
|
/**
* 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 ();
}
|