Working code for infrastructure.

modified:   executer/kernel/mcctrl.h
	modified:   executer/kernel/syscall.c
	modified:   kernel/include/syscall.h
	modified:   kernel/mem.c

executer/kernel/mcctrl.h

@@ -54,10 +54,11 @@
 #define DO_USER_MODE
 
 #define	__NR_coredump			999
+
 struct coretable {
 	int len;
 	void *addr;
-}
+};
 
 struct ikc_scd_packet {
 	int msg;