Lines Matching refs:options
34 options GDB # GNU kernel debugger # <gdb>
35 options DEBUG # general debugging code # <debug>
36 options SHOW_SPACE # print size of structures # <debug>
37 options EVENTMETER # event meter support # <debug>
38 options FP_EMUL # floating point emulation # <fp>
39 options PC_SUPPORT # virtual PC support # <pc>
40 options PROFILE # kernel profiling # <profile>
41 options UXPR # user-level XPR package # <uxpr>
44 options GPROF # kgmon profiling # <profile>
46 options EVENT # <event>
48 options MACH_BSD
49 options IOKIT # # <iokit>
50 options MACH_PE # # <mach_pe>
52 options MACH_KDP # KDP # <mach_kdp>
53 options CONFIG_SERIAL_KDP # KDP over serial # <config_serial_kdp>
54 options KPERF # # <kperf>
55 options KPC # # <kpc>
56 options PAE
57 options X86_64
58 options DISPATCH_COUNTS
59 options PAL_I386
62 # Note: MAC/AUDIT options must be set in all the bsd/conf, osfmk/conf, and
65 options CONFIG_MACF # Mandatory Access Control Framework
66 #options CONFIG_MACF_MACH # MACF applied to Mach services
67 options CONFIG_AUDIT # Kernel auditing
73 options CONFIG_CODE_DECRYPTION
75 options CONFIG_MCA # Machine Check Architecture # <config_mca>
76 options CONFIG_VMX # Virtual Machine Extensions # <config_vmx>
77 options CONFIG_MTRR # Memory Type Range Registers # <config_mtrr>
79 options NO_NESTED_PMAP # <no_nested_pmap>
80 options CONFIG_NO_NESTED_PMAP # <no_nested_pmap>
81 options CONFIG_NESTED_PMAP # <!no_nested_pmap>