-OPTIONS/show_space optional show_space
-OPTIONS/gdb optional gdb
-OPTIONS/iplmeas optional iplmeas
OPTIONS/fb optional fb
-OPTIONS/config_nested_pmap optional config_nested_pmap
-OPTIONS/config_no_nested_pmap optional config_no_nested_pmap
-
-#machdep/x86_64/unix_signal.c standard
-#machdep/x86_64/unix_startup.c standard
-
OPTIONS/debug optional debug
-
-OPTIONS/gprof optional gprof
-OPTIONS/dynamic_num_nodes optional dynamic_num_nodes
-OPTIONS/vtoc_compat optional vtoc_compat
-OPTIONS/fddi optional fddi
-
osfmk/vm/vm_apple_protect.c standard
#osfmk/x86_64/hi_res_clock_map.c optional hi_res_clock
osfmk/x86_64/bcopy.s standard
osfmk/x86_64/bzero.s standard
+osfmk/x86_64/WKdmDecompress_new.s standard
+osfmk/x86_64/WKdmCompress_new.s standard
+osfmk/x86_64/WKdmData_new.s standard
+osfmk/x86_64/lz4_decode_x86_64.s standard
osfmk/i386/cpu.c standard
osfmk/i386/cpuid.c standard
osfmk/i386/cpu_threads.c standard
osfmk/i386/cpu_topology.c standard
-osfmk/i386/etimer.c standard
+osfmk/i386/i386_timer.c standard
osfmk/i386/fpu.c standard
-osfmk/i386/i386_lock.s standard
+osfmk/i386/fp_simd.s standard
+osfmk/i386/i386_lock.s standard
osfmk/i386/i386_init.c standard
osfmk/i386/i386_vm_init.c standard
osfmk/i386/io_map.c standard
osfmk/i386/ldt.c standard
osfmk/x86_64/loose_ends.c standard
osfmk/x86_64/copyio.c standard
-osfmk/i386/locks_i386.c standard
+osfmk/i386/locks_i386.c standard
+osfmk/i386/locks_i386_opt.c standard
osfmk/x86_64/locore.s standard
osfmk/x86_64/lowmem_vectors.c standard
osfmk/x86_64/cswitch.s standard
osfmk/i386/commpage/commpage.c standard
osfmk/i386/commpage/commpage_asm.s standard
-osfmk/i386/commpage/pthreads.s standard
osfmk/i386/commpage/fifo_queues.s standard
-osfmk/i386/AT386/conf.c standard
osfmk/i386/AT386/model_dep.c standard
osfmk/i386/lapic.c standard
osfmk/i386/mtrr.c optional config_mtrr
-osfmk/console/i386/serial_console.c optional com device-driver
-
-osfmk/console/panic_dialog.c optional vc device-driver
-osfmk/console/video_console.c optional vc device-driver
-osfmk/console/i386/video_scroll.c optional vc device-driver
-
-osfmk/kern/etap_map.c optional etap device-driver
-
-#osfmk/profiling/x86_64/profile-md.c optional gprof
-#osfmk/profiling/x86_64/profile-asm.s optional gprof
-#osfmk/profiling/profile-kgmon.c optional gprof
-#osfmk/profiling/profile-mk.c optional gprof
-
osfmk/kdp/ml/x86_64/kdp_machdep.c optional mach_kdp
osfmk/kdp/ml/x86_64/kdp_vm.c optional mach_kdp
osfmk/kdp/ml/i386/kdp_x86_common.c optional mach_kdp
osfmk/i386/hibernate_i386.c optional hibernation
osfmk/i386/hibernate_restore.c optional hibernation
-osfmk/chud/i386/chud_osfmk_callback_i386.c standard
-osfmk/chud/i386/chud_cpu_i386.c standard
-osfmk/chud/i386/chud_thread_i386.c standard
-
osfmk/i386/ucode.c standard
osfmk/i386/vmx/vmx_cpu.c optional config_vmx
osfmk/i386/vmx/vmx_shims.c optional config_vmx
+osfmk/i386/x86_hypercall.c optional development
+
+osfmk/kern/hv_support_kext.c optional hypervisor
+osfmk/kern/hv_io_notifier.c optional hypervisor
# DUMMIES TO FORCE GENERATION OF .h FILES
#osfmk/OPTIONS/ln optional ln
#osfmk/OPTIONS/hi_res_clock optional hi_res_clock
# Kernel performance monitoring
-osfmk/kperf/x86_64/kperf_mp.c optional kperf
+osfmk/x86_64/kpc_x86.c optional kpc
+
+osfmk/x86_64/monotonic_x86_64.c optional monotonic
-osfmk/i386/startup64.c standard
osfmk/x86_64/idt64.s standard
+
+osfmk/i386/panic_hooks.c standard
+osfmk/i386/panic_notify.c standard
+osfmk/x86_64/machine_remote_time.c optional config_mach_bridge_send_time
+osfmk/x86_64/counter.c standard