diff options
Diffstat (limited to 'device/device_init.c')
| -rw-r--r-- | device/device_init.c | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/device/device_init.c b/device/device_init.c new file mode 100644 index 0000000..4eef63d --- /dev/null +++ b/device/device_init.c @@ -0,0 +1,73 @@ +/* + * Mach Operating System + * Copyright (c) 1991,1990,1989 Carnegie Mellon University + * All Rights Reserved. + * + * Permission to use, copy, modify and distribute this software and its + * documentation is hereby granted, provided that both the copyright + * notice and this permission notice appear in all copies of the + * software, derivative works or modified versions, and any portions + * thereof, and that both notices appear in supporting documentation. + * + * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" + * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR + * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. + * + * Carnegie Mellon requests users of this software to return to + * + * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU + * School of Computer Science + * Carnegie Mellon University + * Pittsburgh PA 15213-3890 + * + * any improvements or extensions that they make and grant Carnegie Mellon + * the rights to redistribute these changes. + */ +/* + * Author: David B. Golub, Carnegie Mellon University + * Date: 8/89 + * + * Initialize device service as part of kernel task. + */ +#include <ipc/ipc_port.h> +#include <ipc/ipc_space.h> +#include <kern/task.h> + +#include <device/device_types.h> +#include <device/device_port.h> + + + +extern void ds_init(); +extern void dev_lookup_init(); +extern void net_io_init(); +extern void device_pager_init(); +extern void chario_init(void); +#ifdef FIPC +extern void fipc_init(); +#endif + +extern void io_done_thread(); +extern void net_thread(); + +ipc_port_t master_device_port; + +void +device_service_create() +{ + master_device_port = ipc_port_alloc_kernel(); + if (master_device_port == IP_NULL) + panic("can't allocate master device port"); + + ds_init(); + dev_lookup_init(); + net_io_init(); + device_pager_init(); + chario_init(); +#ifdef FIPC + fipc_init(); +#endif + + (void) kernel_thread(kernel_task, io_done_thread, 0); + (void) kernel_thread(kernel_task, net_thread, 0); +} |