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
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)
39 platform_control_IMPL := platform_control
41 syscalls_IMPL := syscalls syscalls-log
43 timer_tick_IMPL := timer_tick