+./mach/task_access_user.c standard
+osfmk/corpses/corpse.c standard
+osfmk/kern/kern_cdata.c standard
+osfmk/tests/kernel_tests.c optional config_xnupost
+osfmk/tests/ktest.c optional config_xnupost
+osfmk/tests/ktest_accessor.c optional config_xnupost
+osfmk/tests/ktest_emit.c optional config_xnupost
+osfmk/tests/ktest_global.c optional config_xnupost
+osfmk/tests/pmap_tests.c optional config_xnupost
+osfmk/tests/bitmap_test.c optional config_xnupost
+osfmk/tests/test_thread_call.c optional config_xnupost
+./mach/telemetry_notification_user.c optional config_telemetry
+osfmk/bank/bank.c standard
+osfmk/atm/atm.c optional config_atm
+./atm/atm_notification_user.c optional config_atm
+osfmk/voucher/ipc_pthread_priority.c standard
+./mach/coalition_notification_user.c optional config_coalitions
+./mach/sysdiagnose_notification_user.c optional config_sysdiagnose
+./mach/sysdiagnose_notification_user.c optional config_sysdiagnose
+./mach/vfs_nspace_user.c standard
+./mach/fairplayd_notification_user.c optional config_arcade
+./mach/arcade_upcall_user.c optional config_arcade
+./mach/arcade_register_server.c optional config_arcade
+