123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 |
- #include <glue/gnulinux.h>
- #include <linux/printk.h>
- #include <mach/kern_return.h>
- #include <kern/ipc_host.h>
- #include <kern/slab.h>
- #include <vm/vm_map.h>
- #include <vm/vm_kern.h>
- #include <ipc/ipc_entry.h>
- #include <ipc/ipc_space.h>
- #include <ipc/ipc_object.h>
- #include <ipc/ipc_port.h>
- #include <ipc/ipc_pset.h>
- #include <ipc/ipc_marequest.h>
- #include <ipc/ipc_notify.h>
- #include <ipc/ipc_kmsg.h>
- #include <ipc/ipc_init.h>
- void Assert(const char *exp, const char *file, int line, const char *fun)
- {
- char bug[1024];
- sprintf(bug,"%s:%d: %s: Assertion `%s' failed.\n", file, line, fun, exp);
- //redunant -- dump_stack();
- panic(bug);
-
- }
- void SoftDebugger(const char *message)
- {
- printk(KERN_CRIT "Debugger invoked from GNUmach: %s\n", message);
- dump_stack();
- }
- extern void test_ports(void);
- int mach_kernel_init(void);
- void gnumach_init(void)
- {
- printk(KERN_NOTICE "GNU mkLinux booting\n");
-
- ipc_bootstrap();
- task_init();
- thread_init();
- ipc_init();
-
- mach_kernel_init();
- //test_ports();
- }
|