update

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

diff --git a/kernel/fiasco/src/Modules.generic b/kernel/fiasco/src/Modules.generic
index f0f6b5abb3a32cfc749a5e4f782d7a231b014934..14f1ad5de6190e02f7646ee6c314e7caa00faf1f 100644 (file)
--- a/kernel/fiasco/src/Modules.generic
+++ b/kernel/fiasco/src/Modules.generic
@@ -1,8 +1,8 @@
 INTERFACES_KERNEL      := cpu_mask rcupdate pages kobject_mapdb             \
-                          mem_region per_cpu_data startup boot_info cmdline \
+                          mem_region per_cpu_data startup boot_info         \
                           queue queue_item l4_buf_iter irq_pin bitmap       \
                           mapping spin_lock mapping_tree mappable           \
-                          dbg_page_info mapdb pic kobject_dbg               \
+                          dbg_page_info mapdb pic kobject_dbg koptions      \
                           kobject_iface kobject ready_queue_wfq             \
                           ready_queue_fp obj_space ptab_base ram_quota      \
                           ref_ptr ref_obj mem_space mem_space_sigma0 space  \