kernel/fiasco/src/Modules.generic

   1 INTERFACES_KERNEL       := cpu_mask rcupdate kobject_mapdb context_base \
   2                            mem_region per_cpu_data startup boot_info         \
   3                            queue queue_item l4_buf_iter bitmap               \
   4                            mapping spin_lock mapping_tree mappable           \
   5                            dbg_page_info mapdb pic kobject_dbg koptions      \
   6                            kobject_iface kobject ready_queue_wfq             \
   7                            ready_queue_fp obj_space ptab_base ram_quota      \
   8                            ref_ptr ref_obj mem_space space  \
   9                            vlog kmem kmem_alloc slab_cache mem_layout        \
  10                            kmem_slab switch_lock kip_init   \
  11                            thread_lock helping_lock cpu_lock timer timeout   \
  12                            ipc_timeout timeslice_timeout per_cpu_data_alloc  \
  13                            vcpu kobject_helper icu_helper thread_state       \
  14                            context mp_lock sender receiver mem_unit factory  \
  15                            lock ipc_sender thread thread_object syscalls     \
  16                            kernel_thread map_util irq banner warn            \
  17                            app_cpu_thread globals watchdog kernel_uart       \
  18                            main config vmem_alloc paging fpu                 \
  19                            fpu_state fpu_alloc cpu entry_frame               \
  20                            kernel_console ipc_gate task sigma0_task          \
  21                            kernel_task platform_control_object          \
  22                            irq_controller irq_chip irq_mgr terminate         \
  23                            continuation timer_tick platform_control          \
  24                            sched_context utcb_init perf_cnt trap_state       \
  25                            buddy_alloc vkey kdb_ke prio_list ipi scheduler   \
  26                            clock vm_factory sys_call_page boot_alloc
  27
  28 platform_control_IMPL   := platform_control
  29
  30 syscalls_IMPL           := syscalls syscalls-log
  31
  32 timer_tick_IMPL         := timer_tick