]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/Modules.generic
update
[l4.git] / kernel / fiasco / src / Modules.generic
1 # -*- makefile -*-
2 # vi:se ft=make:
3
4 INTERFACES_KERNEL       := cpu_mask rcupdate kobject_mapdb context_base pm \
5                            mem_region per_cpu_data startup boot_info         \
6                            queue queue_item l4_buf_iter bitmap               \
7                            mapping spin_lock mapping_tree mappable           \
8                            dbg_page_info mapdb pic kobject_dbg koptions      \
9                            kobject_iface kobject ready_queue_wfq             \
10                            obj_space_types obj_space_phys_util \
11                            ready_queue_fp obj_space ptab_base ram_quota      \
12                            ref_obj mem_space space string_buffer \
13                            vlog kmem kmem_alloc slab_cache mem_layout        \
14                            kmem_slab switch_lock kip_init   \
15                            thread_lock helping_lock cpu_lock timer timeout   \
16                            ipc_timeout timeslice_timeout per_cpu_data_alloc  \
17                            vcpu kobject_helper icu_helper thread_state       \
18                            context sender receiver mem_unit factory          \
19                            lock ipc_sender thread thread_object syscalls     \
20                            kernel_thread map_util irq banner warn            \
21                            app_cpu_thread globals watchdog kernel_uart       \
22                            main config vmem_alloc paging fpu                 \
23                            fpu_state fpu_alloc cpu entry_frame               \
24                            kernel_console ipc_gate task sigma0_task          \
25                            kernel_task platform_control_object          \
26                            irq_controller irq_chip irq_mgr terminate         \
27                            continuation timer_tick platform_control          \
28                            sched_context utcb_init perf_cnt trap_state       \
29                            buddy_alloc vkey kdb_ke prio_list ipi scheduler   \
30                            clock vm_factory sys_call_page boot_alloc
31
32 OBJ_SPACE_TYPE = $(if $(CONFIG_VIRT_OBJ_SPACE),virt,phys)
33 PREPROCESS_PARTS-y$(CONFIG_VIRT_OBJ_SPACE) = obj_space_phys
34 PREPROCESS_PARTS += obj_space_$(OBJ_SPACE_TYPE)
35 INTERFACES_KERNEL-$(CONFIG_VIRT_OBJ_SPACE) += obj_space_virt_util
36 obj_space_IMPL = obj_space obj_space-$(OBJ_SPACE_TYPE)
37
38
39 platform_control_IMPL   := platform_control
40
41 syscalls_IMPL           := syscalls syscalls-log
42
43 timer_tick_IMPL         := timer_tick