From 07d4f293e29e0ac1885662b8053e6dd228681a3e Mon Sep 17 00:00:00 2001 From: Taku Shimosawa Date: Wed, 29 Feb 2012 09:35:28 +0900 Subject: [PATCH] Syscall Delegation is selectable by command line --- kernel/ap.c | 5 ++++- kernel/include/init.h | 2 ++ kernel/init.c | 4 +++- 3 files changed, 9 insertions(+), 2 deletions(-) diff --git a/kernel/ap.c b/kernel/ap.c index 426a1e70..411b6e04 100644 --- a/kernel/ap.c +++ b/kernel/ap.c @@ -24,7 +24,10 @@ static void ap_wait(void) } kmalloc_init(); sched_init(); -/* init_host_syscall_channel(); */ + + if (find_command_line("hidos")) { + init_host_syscall_channel(); + } pc_ap_init(); schedule(); diff --git a/kernel/include/init.h b/kernel/include/init.h index f29efd77..8a4a0f1f 100644 --- a/kernel/include/init.h +++ b/kernel/include/init.h @@ -16,4 +16,6 @@ extern void init_host_syscall_channel(void); extern void sched_init(void); extern void pc_ap_init(void); +extern char *find_command_line(char *name); + #endif diff --git a/kernel/init.c b/kernel/init.c index eaffc84b..96289d30 100644 --- a/kernel/init.c +++ b/kernel/init.c @@ -158,7 +158,9 @@ static void post_init(void) cpu_pause(); } -/* init_host_syscall_channel(); */ + if (find_command_line("hidos")) { + init_host_syscall_channel(); + } ap_start(); }