OPTIONS/mach_vm_debug optional mach_vm_debug
OPTIONS/mach_page_hash_stats optional mach_page_hash_stats
OPTIONS/mig_debug optional mig_debug
-OPTIONS/hw_footprint optional hw_footprint
OPTIONS/simple_clock optional simple_clock
OPTIONS/stat_time optional stat_time
OPTIONS/time_stamp optional time_stamp
OPTIONS/zone_debug optional zone_debug
OPTIONS/vm_cpm optional vm_cpm
OPTIONS/task_swapper optional task_swapper
-OPTIONS/thread_swapper optional thread_swapper
OPTIONS/stack_usage optional stack_usage
# Default pager and system pager files, to be moved to separate component
osfmk/kern/ast.c standard
osfmk/kern/clock.c standard
osfmk/kern/counters.c standard
-osfmk/kern/cpu_data.c standard
osfmk/kern/debug.c standard
osfmk/kern/exception.c standard
osfmk/kern/etap.c standard
osfmk/kern/etap_pool.c optional etap
osfmk/kern/host.c standard
+osfmk/kern/host_notify.c standard
osfmk/kern/ipc_clock.c standard
osfmk/kern/ipc_host.c standard
osfmk/kern/ipc_kobject.c standard
osfmk/kern/ipc_mig.c standard
-osfmk/kern/ipc_subsystem.c standard
osfmk/kern/ipc_sync.c standard
osfmk/kern/ipc_tt.c standard
osfmk/kern/kalloc.c standard
osfmk/kern/sched_prim.c standard
osfmk/kern/sscanf.c standard
osfmk/kern/startup.c standard
-osfmk/kern/subsystem.c standard
osfmk/kern/sync_lock.c standard
osfmk/kern/sync_sema.c standard
osfmk/kern/syscall_emulation.c standard
osfmk/kern/thread_act.c standard
osfmk/kern/thread_call.c standard
osfmk/kern/thread_policy.c standard
-osfmk/kern/thread_pool.c standard
osfmk/kern/thread_swap.c standard
osfmk/kern/timer.c standard
osfmk/kern/timer_call.c standard
./mach/ledger_server.c standard
./mach/lock_set_server.c standard
./mach/mach_host_server.c standard
+./mach/mach_notify_user.c standard
./mach/mach_port_server.c standard
./mach/memory_object_server.c standard
./mach/memory_object_control_server.c standard
./mach/memory_object_default_server.c standard
./mach/memory_object_name_server.c standard
./mach/upl_server.c standard
+./mach/audit_triggers_user.c standard
+#
+# For now, no external pagers
#
-# JMM- right now we don't use the MIG-generated client interface
-# for notifications, instead we hand create them. We need to switch
-# when we can (i.e. when we can get the send-always behavior covered
-# even with MIG-generated code).
-# ./mach/notify_user.c standard
# ./mach/memory_object_user.c standard
# ./mach/memory_object_default_user.c standard
#