gnumach4linux-libre/ipc/gnumach_init.c

#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();
}