X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/d2904c5e14a2d9c6585ce5e2ff536584c91aeb99..72f8c5b742f7e0c579f3025c1e736ab5011c10ee:/kernel/fiasco/src/Modules.arm

diff --git a/kernel/fiasco/src/Modules.arm b/kernel/fiasco/src/Modules.arm
index be54dee0e..e1abfd3d0 100644
--- a/kernel/fiasco/src/Modules.arm
+++ b/kernel/fiasco/src/Modules.arm
@@ -2,6 +2,7 @@
 
 ###############################################################################
 
+include $(srcdir)/Modules.generic
 
 SUBSYSTEMS := 	ABI LIBAMM KERNEL LIBK DRIVERS MINILIBC \
 		CXXLIB VERSION JABI TCBOFFSET CRT0
@@ -152,35 +153,9 @@ VPATH 		+= kern/$(CONFIG_XARCH) kern
 VPATH		+= jdb/arm jdb
 PRIVATE_INCDIR 	+= kern/$(CONFIG_XARCH) kern
 
-INTERFACES_KERNEL := 	kmem boot_info pages __main globals config \
-			main mem_op kobject_mapdb dbg_page_info \
-			bitmap kernel_uart pagetable mem_layout \
-			mapped_alloc kmem_alloc kip_init kmem_space \
-			queue_item queue cpu_mask rcupdate irq_pin \
-			mem_unit boot_uart_init kernel_console cpu mem_region \
-			thread kobject_helper icu_helper \
-			syscalls paging vmem_alloc kdb_ke terminate \
-			cpu_lock irq sender startup per_cpu_data \
-			per_cpu_data_alloc ptab_base ref_obj ref_ptr \
-			entry_frame irq_chip helping_lock switch_lock \
-			kmem_slab_simple region kmem_slab slab_cache_anon \
-			thread_state context mp_lock sched_context fpu \
-			fpu_state kobject_dbg kobject l4_buf_iter continuation \
-			mapping mappable mapping_tree \
-			mapdb map_util mem_space mem_space_sigma0    \
-			space task thread_lock irq_chip_generic \
-			receiver timer factory ipc_gate vcpu \
-			timeout ipc_timeout ipc_sender \
-			timeslice_timeout spin_lock \
-			dirq fpu_alloc kernel_thread pic cmdline \
-			buddy_alloc trap_state warn \
-			bootstrap virq vkey kern_lib_page \
-			watchdog perf_cnt jdb_extensions kernel_task \
-			ram_quota lock irq_controller \
-			obj_space vlog outer_cache \
-			utcb_init utcb_support prio_list sys_call_page \
-			app_cpu_thread ipi scheduler \
-                        clock ready_queue_wfq ready_queue_fp
+INTERFACES_KERNEL += 	__main mem_op pagetable kmem_space boot_uart_init     \
+			irq_chip_generic bootstrap kern_lib_page virq         \
+			jdb_extensions outer_cache utcb_support
 
 PREPROCESS_PARTS	+= ulock
 INTERFACES_KERNEL	+= u_semaphore