I wonder if the current release supports SMP in base-hw. I read from the genode book that base-hw has well supported SMP long time ago. But the default configure in wandBoard sets NR_OF_CPUS to 1. When I change that value to 4 and implement several auxiliary SMP functions and run the program, there seems to be some error happen. Below is the output:

core 0 enabled
kernel initialized
core 1 enabled
core 2 enabled
core 3 enabled
Genode 15.08-25-g5cf8c49 <local changes>
int main(): --- create local services ---
int main(): --- start init ---