update

[l4.git] / kernel / fiasco / src / Modules.ux

diff --git a/kernel/fiasco/src/Modules.ux b/kernel/fiasco/src/Modules.ux
index eb4d189eb949e07c5bf2839fcf747327bb09a8c5..493a7af2370f1a0c7d0c7cab68528499286d051a 100644 (file)
--- a/kernel/fiasco/src/Modules.ux
+++ b/kernel/fiasco/src/Modules.ux
@@ -16,7 +16,6 @@ PREPROCESS_PARTS-$(CONFIG_MP)                += mp
 PREPROCESS_PARTS-$(CONFIG_LIST_ALLOC_SANITY) += list_alloc_debug
 PREPROCESS_PARTS-$(CONFIG_JDB)               += debug log
 PREPROCESS_PARTS-$(CONFIG_PERF_CNT)          += perf_cnt
-PREPROCESS_PARTS-$(CONFIG_HANDLE_SEGMENTS)   += segments
 PREPROCESS_PARTS-$(CONFIG_CONTEXT_4K)        += context_4k
 PREPROCESS_PARTS-$(CONFIG_SCHED_FIXED_PRIO)  += sched_fixed_prio
 PREPROCESS_PARTS-$(CONFIG_SCHED_WFQ)         += sched_wfq
@@ -95,7 +94,8 @@ INTERFACES_KERNEL     := mem_region simpleio kernel_console panic warn \
                           vmem_alloc paging kmem_slab fpu_state fpu      \
                           ready_queue_wfq ready_queue_fp \
                           sched_context switch_lock timer timeout        \
-                          obj_space kobject_dbg kobject l4_buf_iter lock  \
+                          obj_space kobject_dbg kobject kobject_iface    \
+                          l4_buf_iter lock  \
                           mem_space mem_space_sigma0 space vcpu context \
                           helping_lock \
                           mp_lock ipc_gate irq_controller                \
@@ -104,7 +104,8 @@ INTERFACES_KERNEL   := mem_region simpleio kernel_console panic warn \
                           hostproc task kernel_task prio_list            \
                           thread_lock timeslice_timeout          \
                           ipc_timeout thread_state       \
-                          sender receiver ipc_sender thread kobject_helper \
+                          sender receiver ipc_sender thread thread_object \
+                          kobject_helper \
                           syscalls                                       \
                           kernel_thread virq dirq dirq_pic_pin           \
                           banner fpu_alloc irq icu_helper main           \
@@ -188,6 +189,7 @@ pmem_alloc_IMPL             := pmem_alloc pmem_alloc-ia32-ux
 sched_context_IMPL     := sched_context-wfq sched_context-fixed_prio \
                           sched_context-fp_wfq sched_context
 space_IMPL             := space space-ux 
+syscalls_IMPL          := syscalls syscalls-log
 sys_call_page_IMPL     := sys_call_page sys_call_page-abs-ux
 task_IMPL              := task task-ux
 tb_entry_IMPL          := tb_entry tb_entry-ia32-32