xnu-792.13.8.tar.gz

[apple/xnu.git] / osfmk / conf / MASTER.i386

diff --git a/osfmk/conf/MASTER.i386 b/osfmk/conf/MASTER.i386
index 7ce7d8f0acfc74d8c8befb3c35fa9b5ba5152416..1e9f170b6894ae83fce140effe693600948c7760 100644 (file)
--- a/osfmk/conf/MASTER.i386
+++ b/osfmk/conf/MASTER.i386
@@ -12,7 +12,7 @@
 #  osfmk = [intel pc mach small event vol pst gdb fixpri simple_clock mkernserv uxpr kernstack ipc_compat ipc_debug mk30 mk30_i386]
 #  RELEASE = [intel pc iokit mach_pe mach mach_kdp small event vol hd pst gdb fixpri simple_clock mkernserv uxpr kernstack ipc_compat ipc_debug fb mk30 mk30_i386]
 #  DEBUG_KDP = [intel pc iokit mach_pe mach mach_kdp small event vol hd pst gdb fixpri simple_clock mkernserv uxpr kernstack ipc_compat ipc_debug fb mk30 mk30_i386 osf_debug debug]
-#  DEBUG= [intel pc iokit mach_pe mach mach_kdp small event vol hd pst gdb fixpri simple_clock mkernserv uxpr kernstack ipc_compat ipc_debug fb mk30 mk30_i386 osf_debug debug]
+#  DEBUG= [intel pc iokit mach_pe mach mach_kdp small event vol hd pst gdb fixpri simple_clock mkernserv uxpr kernstack ipc_compat ipc_debug fb mk30 mk30_i386 osf_debug debug mach_kdb]
 #  PROFILE = [ RELEASE profile ]
 #
 ######################################################################
@@ -20,7 +20,6 @@
 machine                "i386"                                          # <intel>
 cpu            "i386"                                          # <intel>
 
-pseudo-device  cpus            4
 pseudo-device  com             2
 pseudo-device  vc              1
 
@@ -39,7 +38,6 @@ options               FP_EMUL         # floating point emulation      # <fp>
 options                PC_SUPPORT      # virtual PC support            # <pc>
 options                PROFILE         # kernel profiling              # <profile>
 options                UXPR            # user-level XPR package        # <uxpr>
-options                STAT_TIME       # time stats
 config         mach_kernel     swap generic                    # <mach>
 
 options                GPROF           # kgmon profiling               # <profile>
@@ -50,6 +48,8 @@ options               MACH_BSD
 options         IOKIT          #                               # <iokit>
 options         MACH_PE                #                               # <mach_pe>
 
-#options       DDB             # Inline debugger               # <debug>
+options                DDB             # Inline debugger               # <debug>
+options                MACH_KDB        #                               # <mach_kdb>
 options                MACH_KDP        # KDP                           # <mach_kdp>
-
+options                PAE
+options                X86_64