update

[l4.git] / kernel / fiasco / src / kern / ux / main-ux.cpp

diff --git a/kernel/fiasco/src/kern/ux/main-ux.cpp b/kernel/fiasco/src/kern/ux/main-ux.cpp
index 84131da92d6f97dce72f35bebee9126116060130..984451293398e82a5992c8a86760390e230593f9 100644 (file)
--- a/kernel/fiasco/src/kern/ux/main-ux.cpp
+++ b/kernel/fiasco/src/kern/ux/main-ux.cpp
@@ -45,7 +45,7 @@ int boot_ap_cpu(unsigned _cpu)
   // create kernel thread
   App_cpu_thread *kernel = new (Ram_quota::root) App_cpu_thread();
   set_cpu_of(kernel, _cpu);
-  check(kernel->bind(Kernel_task::kernel_task(), 0));
+  check(kernel->bind(Kernel_task::kernel_task(), User<Utcb>::Ptr(0)));
 
   main_switch_ap_cpu_stack(kernel);
   return 0;