kernel/fiasco/src/Modules.generic

   1 INTERFACES_KERNEL       := cpu_mask rcupdate pages kobject_mapdb             \
   2                            mem_region per_cpu_data startup boot_info cmdline \
   3                            queue queue_item l4_buf_iter irq_pin bitmap       \
   4                            mapping spin_lock mapping_tree mappable           \
   5                            dbg_page_info mapdb region pic kobject_dbg        \
   6                            kobject_iface kobject ready_queue_wfq             \
   7                            ready_queue_fp obj_space ptab_base ram_quota      \
   8                            ref_ptr ref_obj mem_space mem_space_sigma0 space  \
   9                            vlog kmem kmem_alloc slab_cache_anon mem_layout   \
  10                            kmem_slab_simple 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 dirq globals watchdog kernel_uart  \
  18                            main config mapped_alloc vmem_alloc paging fpu    \
  19                            fpu_state fpu_alloc cpu entry_frame               \
  20                            kernel_console ipc_gate task kernel_task          \
  21                            irq_controller irq_chip terminate continuation    \
  22                            sched_context utcb_init perf_cnt trap_state       \
  23                            buddy_alloc vkey kdb_ke prio_list ipi scheduler   \
  24                            clock vm_factory sys_call_page
  25
  26 syscalls_IMPL           := syscalls syscalls-log
  27