# option should be on.
#
options MACH_KERNEL
-options MACH_PAGEMAP
+options MACH_PAGEMAP # <mach_pagemap>
options MACH_LOAD
options MACH_RT
options TASK_SWAPPER # <task_swapper_disabled>
# operations on each element.
#
options ZONE_DEBUG # # <debug>
+
+options CONFIG_ZLEAKS # Live zone leak debugging # <zleaks>
+
#
options ZONE_ALIAS_ADDR # # <zone_alias_addr>
#
#
options MACH_COUNTERS # # <debug>
-
##########################################################
#
# This defines configuration options that are normally used only during
options CONFIG_ZONE_MAP_MIN=6291456 # <small,xsmall>
options CONFIG_ZONE_MAP_MIN=1048576 # <bsmall>
-options CONFIG_TOKEN_QUEUE_SMALL=1 # <bsmall>
-options CONFIG_TOKEN_QUEUE_SMALL=0 # <xsmall,small,medium,large,xlarge>
-
#
# configurable kernel - use these options to strip strings from panic
# and printf calls.
#
options CONFIG_ENFORCE_SIGNED_CODE # <config_embedded>
+# support dynamic signing of code
+#
+options CONFIG_DYNAMIC_CODE_SIGNING # <dynamic_codesigning>
+
# vc_progress_white - make the progress gear white instead of black
options CONFIG_VC_PROGRESS_WHITE # <vc_progress_white>
# Context switched counters
#
options CONFIG_COUNTERS # <config_counters>
+
+#
+# Timeshare scheduler implementations
+#
+options CONFIG_SCHED_TRADITIONAL # <config_sched_traditional>
+options CONFIG_SCHED_PROTO # <config_sched_proto>
+options CONFIG_SCHED_GRRR # <config_sched_grrr>
+options CONFIG_SCHED_FIXEDPRIORITY # <config_sched_fixedpriority>
+options CONFIG_SCHED_GRRR_CORE # <config_sched_grrr,config_sched_fixedpriority>
+
+options CONFIG_SCHED_IDLE_IN_PLACE # <config_sched_idle_in_place>
+
+#
+# freeze - support app hibernation, used on embedded
+#
+options CONFIG_FREEZE # <freeze>
+
+
+options CHECK_CS_VALIDATION_BITMAP # <config_cs_validation_bitmap>
+