]> git.saurik.com Git - apple/xnu.git/blobdiff - config/MASTER
xnu-7195.101.1.tar.gz
[apple/xnu.git] / config / MASTER
index a4b109d1139d7824ec2934661134b18fbafedaa0..8beac4230a07112fcf622debff0028eef60302e3 100644 (file)
@@ -5,7 +5,7 @@
 #
 # All rights reserved.  The CMU software License Agreement
 # specifies the terms and conditions for use and redistribution.
-#  
+#
 #######################################################################
 #
 #      Master machine independent configuration file.
@@ -48,7 +48,7 @@
 #      medium = medium scale system configuration
 #      small  = small scale system configuration
 #      xsmall = extra small scale system configuration
-#      bsmall = special extra small scale system configuration 
+#      bsmall = special extra small scale system configuration
 #
 #######################################################################
 #
@@ -68,13 +68,14 @@ options     MACH_NP         # Mach IPC support              # <np>
 options                MACH_NBC        # No buffer cache               # <nbc>
 options                MACH_NET        # Fast network access           # <mach_net>
 options                MACH_XP         # external pager support        # <xp>
-options                NO_DIRECT_RPC   # for untyped mig servers       # 
+options                NO_DIRECT_RPC   # for untyped mig servers       #
 options                LOOP            # loopback support              # <loop>
 options                VLAN            #                               # <vlan>
+options                SIXLOWPAN       # 6LoWPAN support               # <sixlowpan>
 options                BOND            #                               # <bond>
 options                IF_FAKE         #                               # <if_fake>
+options                IF_HEADLESS     #                               # <if_headless>
 options                AH_ALL_CRYPTO   # AH all crypto algs            # <ah_all_crypto>
-options                IPCOMP_ZLIB     # IP compression using zlib     # <ipcomp_zlib>
 options                PF              # Packet Filter                 # <pf>
 options                PF_ECN          # PF use ECN marking            # <pf_ecn>
 options                PFLOG           # PF log interface              # <pflog>
@@ -83,7 +84,6 @@ options               DUMMYNET        # dummynet support              # <dummynet>
 options                TRAFFIC_MGT     # traffic management support            # <traffic_mgt>
 options                MULTICAST       # Internet Protocol Class-D     $
 options                TCPDEBUG        # TCP debug                     # <tcpdebug>
-options                TCP_DROP_SYNFIN # Drop TCP packets with SYN+FIN set     # <tcpdrop_synfin>
 options                ICMP_BANDLIM    # ICMP bandwidth limiting sysctl
 options                IFNET_INPUT_SANITY_CHK  # allow dlil/ifnet input sanity check # <ifnet_input_chk>
 options                MULTIPATH       # Multipath domain              # <multipath>
@@ -96,30 +96,32 @@ options             FLOW_DIVERT                                                             # <flow_divert>
 options                NECP                                                                    # <necp>
 options                CONTENT_FILTER  #                                               # <content_filter>
 options        PACKET_MANGLER  #                                               # <packet_mangler>
-
+options        SIXLOWPAN       #               # <sixlowpan>
 # secure_kernel - secure kernel from user programs
-options     SECURE_KERNEL       # <secure_kernel> 
+options     SECURE_KERNEL       # <secure_kernel>
 
 options     OLD_SEMWAIT_SIGNAL  # old semwait_signal handler
 
 #
-#      4.4 general kernel 
+#      4.4 general kernel
 #
-options                SOCKETS         # socket support                # <inet, inet6>
+options                SOCKETS         # socket support                # <inet>
 options        DIAGNOSTIC      # diagnostics                   # <diagnostic>
-options                GPROF           # build profiling               # <profile>
 options                PROFILE         # kernel profiling              # <profile>
 options                SENDFILE        # sendfile                                      # <sendfile>
-options                NETWORKING      # networking layer              # <inet, inet6>
+options                NETWORKING      # networking layer              # <inet>
 options                CONFIG_FSE      # file system events            # <config_fse>
 options                CONFIG_IMAGEBOOT        # local image boot      # <config_imageboot>
+options                CONFIG_LOCKERBOOT       # locker boot   # <config_lockerboot>
 options                CONFIG_MBUF_JUMBO       # jumbo cluster pool    # <config_mbuf_jumbo>
+options                CONFIG_IMAGEBOOT_IMG4   # authenticate image with AppleImage4   # <config_imageboot_img4>
+options                CONFIG_IMAGEBOOT_CHUNKLIST      # authenticate image with a chunk list  # <config_imageboot_chunklist>
 
 options                CONFIG_WORKQUEUE        # <config_workqueue>
 options                CONFIG_WORKLOOP_DEBUG   # <config_workloop_debug>
 
 #
-#      4.4 filesystems 
+#      4.4 filesystems
 #
 options                MOCKFS          # Boot from an executable       # <mockfs>
 options                FIFO            # fifo support                  # <fifo>
@@ -127,6 +129,7 @@ options             FDESC           # fdesc_fs support              # <fdesc>
 options                DEVFS           # devfs support                 # <devfs>
 options                ROUTEFS         # routefs support               # <routefs>
 options                NULLFS          # nullfs support                # <nullfs>
+options                BINDFS          # bindfs support                # <bindfs>
 options                FS_COMPRESSION  # fs compression            # <fs_compression>
 options                CONFIG_DEV_KMEM     # /dev/kmem device for reading KVA  # <config_dev_kmem>
 
@@ -143,28 +146,32 @@ options           CONFIG_EXT_RESOLVER # e.g. memberd              # <config_ext_resolver>
 options                CONFIG_SEARCHFS # searchfs syscall support      # <config_searchfs>
 options                CONFIG_MNT_SUID # allow suid binaries  # <config_mnt_suid>
 options                CONFIG_MNT_ROOTSNAP # allow rooting from snapshot # <config_mnt_rootsnap>
+options        CONFIG_ROSV_STARTUP # allow read-only system volume startup # <config_rosv_startup>
+options                CONFIG_FIRMLINKS # support "firmlinks" # <config_firmlinks>
+options        CONFIG_MOUNT_VM # mount VM volume on startup # <config_mount_vm>
+options        CONFIG_MOUNT_PREBOOTRECOVERY # mount Preboot and/or Recovery volume on startup # <config_mount_prebootrecovery>
+options                CONFIG_DATALESS_FILES # support dataless file materialization # <config_dataless_files>
+options         CONFIG_BASESYSTEMROOT # mount BaseSystem as initial root filesystem on some kinds of startup # <config_basesystemroot>
 
 #
 # NFS support
 #
 options                NFSCLIENT       # Be an NFS client              # <nfsclient>
 options                NFSSERVER       # Be an NFS server              # <nfsserver>
+options                CONFIG_NFS_GSS  # Support NFS GSSAPI            # <config_nfs_gss>
+options                CONFIG_NFS4     # Use NFSv4                     # <config_nfs4>
+options                CONFIG_NETBOOT  # network booting (requires NFSCLIENT) # <config_netboot>
 
 #
 # Machine Independent Apple Features
 #
 profile                                # build a profiling kernel      # <profile>
 
-#       
+#
 # IPv6 Support
-#       
-options         "INET6"         # kernel IPv6 Support           # <inet6>
-options         IPV6SEND       # Secure Neighbor Discovery     # <ipv6send>
+#
 options         IPSEC           # IP security                  # <ipsec>
 options         IPSEC_ESP       # IP security                  # <ipsec>
-options         "IPV6FIREWALL"  # IPv6 Firewall Feature        # <ipv6firewall>
-options         "IPV6FIREWALL_DEFAULT_TO_ACCEPT"       #IPv6 Firewall Feature          # <ipv6firewall>
-#options         "IPV6FIREWALL_VERBOSE"                #IPv6 Firewall Feature          # <ipv6firewall>
 
 pseudo-device   gif     1                              # <gif>
 pseudo-device   dummy   2                              # <dummy>
@@ -177,26 +184,27 @@ options                   ENCRYPTED_SWAP                  # <encrypted_swap>
 options                        CONFIG_IMG4                     # <config_img4>
 
 options                ZLIB    # inflate/deflate support       # <zlib>
+options                ZLIBC   # inflate/deflate support       # <zlibc>
 
 options                IF_BRIDGE                               # <if_bridge>
 
 #
-#  configurable kernel event related resources 
+#  configurable kernel event related resources
 #
 options   CONFIG_KN_HASHSIZE=64                # <medium,large,xlarge>
 options   CONFIG_KN_HASHSIZE=48                # <small,xsmall>
 options   CONFIG_KN_HASHSIZE=20                # <bsmall>
 
 #
-#  configurable vfs related resources 
-#  CONFIG_VNODES - used to pre allocate vnode related resources 
+#  configurable vfs related resources
+#  CONFIG_VNODES - used to pre allocate vnode related resources
 #  CONFIG_NC_HASH - name cache hash table allocation
 #  CONFIG_VFS_NAMES - name strings
 #
-#  263168 magic number for medium CONFIG_VNODES is based on memory 
-#  Number vnodes  is (memsize/64k) + 1024 
+#  263168 magic number for medium CONFIG_VNODES is based on memory
+#  Number vnodes  is (memsize/64k) + 1024
 #  This is the calculation that is used by launchd in tiger
-#  we are clipping the max based on 16G 
+#  we are clipping the max based on 16G
 #  ie ((16*1024*1024*1024)/(64 *1024)) + 1024 = 263168;
 
 options   CONFIG_VNODES=263168         # <large,xlarge>
@@ -218,7 +226,7 @@ options   CONFIG_MAX_CLUSTERS=8             # <xlarge,large,medium>
 options   CONFIG_MAX_CLUSTERS=4                # <small,xsmall,bsmall>
 
 #
-#  configurable options for minumum number of buffers for kernel memory 
+#  configurable options for minumum number of buffers for kernel memory
 #
 options   CONFIG_MIN_NBUF=256          # <medium,large,xlarge>
 options   CONFIG_MIN_NBUF=128          # <small>
@@ -249,7 +257,7 @@ options CONFIG_ICMP_BANDLIM=250             # <medium,large,xlarge>
 options CONFIG_ICMP_BANDLIM=50         # <xsmall,small,bsmall>
 
 #
-#  configurable async IO options 
+#  configurable async IO options
 #  CONFIG_AIO_MAX - system wide limit of async IO requests.
 #  CONFIG_AIO_PROCESS_MAX - process limit of async IO requests.
 #  CONFIG_AIO_THREAD_COUNT - number of async IO worker threads created.
@@ -285,10 +293,10 @@ options   CONFIG_MFCTBLSIZ=16                     # <bsmall>
 #
 # configurable kernel message buffer size
 #
-options   CONFIG_MSG_BSIZE_REL=4096            # <bsmall,small,xsmall>
-options   CONFIG_MSG_BSIZE_DEV=4096            # <bsmall,small,xsmall>
-options   CONFIG_MSG_BSIZE_REL=16384           # <medium,large,xlarge>
-options   CONFIG_MSG_BSIZE_DEV=131072          # <medium,large,xlarge>
+options   CONFIG_MSG_BSIZE_REL=16384           # <msgb_small>
+options   CONFIG_MSG_BSIZE_DEV=131072          # <msgb_small>
+options   CONFIG_MSG_BSIZE_REL=131072          # <msgb_large>
+options   CONFIG_MSG_BSIZE_DEV=131072          # <msgb_large>
 options   CONFIG_MSG_BSIZE=CONFIG_MSG_BSIZE_REL        # <!development,debug>
 options   CONFIG_MSG_BSIZE=CONFIG_MSG_BSIZE_DEV        # <development,debug>
 
@@ -298,6 +306,12 @@ options   CONFIG_MSG_BSIZE=CONFIG_MSG_BSIZE_DEV    # <development,debug>
 options   CONFIG_IPC_TABLE_ENTRIES_STEPS=64    # 137898 entries        # <bsmall,small,xsmall>
 options   CONFIG_IPC_TABLE_ENTRIES_STEPS=256   # 300714 entries        # <medium,large,xlarge>
 
+#
+# maximum copyout size for IPC debugging tools
+#
+options CONFIG_IPC_KERNEL_MAP_SIZE=16  # 16M   # <bsmall,small,xsmall>
+options CONFIG_IPC_KERNEL_MAP_SIZE=64  # 64M   # <medium,large,xlarge>
+
 #
 #  configurable kernel - use these options to strip strings from panic
 #  and printf calls.
@@ -306,21 +320,37 @@ options   CONFIG_IPC_TABLE_ENTRIES_STEPS=256      # 300714 entries        # <medium,large,x
 options   CONFIG_NO_PRINTF_STRINGS             # <no_printf_str>
 options   CONFIG_NO_KPRINTF_STRINGS            # <no_kprintf_str>
 
+# support vsprintf (deprecated in favor of vsnprintf)
+options   CONFIG_VSPRINTF               # <vsprintf>
+
 #
 # configurable kernel - general switch to say we are building for an
 # embedded device
 #
 options   CONFIG_EMBEDDED                      # <config_embedded>
 
+options   CONFIG_ARROW              # <config_arrow>
+
+
+options   NOS_ARM_ASM                  # <nos_arm_asm>
+options   NOS_ARM_PMAP                 # <nos_arm_pmap>
 
 # support dynamic signing of code
 #
 options                CONFIG_DYNAMIC_CODE_SIGNING     # <dynamic_codesigning>
 
-# enforce library validation on all processes. 
+# enforce library validation on all processes.
 #
 options                CONFIG_ENFORCE_LIBRARY_VALIDATION  # <config_library_validation>
 
+# support loading a second static trust cache
+#
+options CONFIG_SECOND_STATIC_TRUST_CACHE # <second_static_trust_cache>
+
+# support supplemental signatures
+#
+options CONFIG_SUPPLEMENTAL_SIGNATURES # <config_supplemental_signatures>
+
 #
 # code decryption... used on embedded for app protection, DSMOS on desktop
 #
@@ -334,11 +364,20 @@ options           CONFIG_PROTECT                  # <config_protect>
 #allow write-protection of key page
 options                CONFIG_KEYPAGE_WP               # <config_keypage_wp>
 
+#
+# allow vm_pageout_scan to dynamically adjust its priority based on priorities of waiters
+#
+options                CONFIG_VPS_DYNAMIC_PRIO         # <vps_dynamic_prio>
+
 #
 # enable per-process memory priority tracking
 #
 options                CONFIG_MEMORYSTATUS             # <memorystatus>
 
+#
+# enable per-process dirty-status tracking
+#
+options                CONFIG_DIRTYSTATUS_TRACKING     # <dirtystatus_tracking>
 #
 # enable jetsam - used on embedded
 #
@@ -364,6 +403,11 @@ options            CONFIG_FREEZE                   # <freeze>
 
 options                CHECK_CS_VALIDATION_BITMAP      # <config_cs_validation_bitmap>
 
+#
+# enable physical writes accounting
+#
+options                CONFIG_PHYS_WRITE_ACCT          # <phys_write_acct>
+
 #
 # enable detectiion of file cache thrashing - used on platforms with
 # dynamic VM compression enabled
@@ -408,7 +452,7 @@ options             CONFIG_PROC_UUID_POLICY         # <config_proc_uuid_policy>
 
 #
 # ECC data logging
-# 
+#
 options                CONFIG_ECC_LOGGING              # <config_ecc_logging>
 
 #
@@ -424,11 +468,11 @@ options           CONFIG_VNGUARD                  # <config_vnguard>
 #
 #  Ethernet (ARP)
 #
-pseudo-device  ether                           # <networking,inet,inet6>
+pseudo-device  ether                           # <networking,inet>
 #
 #  Network loopback device
 #
-pseudo-device  loop                            # <networking,inet,inet6>
+pseudo-device  loop                            # <networking,inet>
 #
 #  UCB pseudo terminal service
 #
@@ -456,7 +500,7 @@ pseudo-device       mdevdevice      1       init    mdevinit
 #
 # packet filter device
 #
-pseudo-device  bpfilter        4       init    bpf_init                # <networking,inet,inet6>
+pseudo-device  bpfilter        4       init    bpf_init                # <networking,inet>
 
 #
 # fsevents device
@@ -482,7 +526,7 @@ options             IOKITCPP        # C++ implementation    # <iokitcpp>
 options                IOKITSTATS      # IOKit statistics      # <iokitstats>
 options                IOTRACKING      # IOKit tracking        # <iotracking>
 options                CONFIG_SLEEP    #                       # <config_sleep>
-options   CONFIG_MAX_THREADS=64        # IOConfigThread threads
+options                CONFIG_MAX_THREADS=500  # IOConfigThread threads
 options         NO_KEXTD                               # <no_kextd>
 options         NO_KERNEL_HID                          # <no_kernel_hid>
 
@@ -520,21 +564,21 @@ options           PERSONA_DEBUG       # Persona debugging     # <persona_debug>
 
 options                CONFIG_MACF     # Mandatory Access Control Framework    # <config_macf>
 options                CONFIG_MACF_SOCKET_SUBSET       # MAC socket subest (no labels) # <config_macf>
-#options       CONFIG_MACF_SOCKET  # MAC socket labels     # <config_macf>
-#options       CONFIG_MACF_NET     # mbuf                  # <config_macf>
 #options       CONFIG_MACF_DEBUG   # debug                 # <config_macf>
 
 options                CONFIG_AUDIT        # Kernel auditing       # <config_audit>
 
+options                CONFIG_ARCADE           # Arcade validation support     # <config_arcade>
+
+options                CONFIG_SETUID           # setuid/setgid support # <config_setuid>
+
+options                CONFIG_SECURE_BSD_ROOT  # secure BSD root       # <config_secure_bsd_root>
+
+options                CONFIG_KAS_INFO         # kas_info support      # <config_kas_info>
 
 #
 # MACH configuration options.
 #
-# TASK_SWAPPER enables code that manages demand for physical memory by
-#      forcibly suspending tasks when the demand exceeds supply. This
-#      option should be on.
-#
-options                TASK_SWAPPER    #       <task_swapper_disabled>
 
 #
 # This defines configuration options that are normally used only during
@@ -564,12 +608,6 @@ options            MACH_VM_DEBUG   #                               # <debug>
 #      hardclock device driver.
 #
 options                MACH_MP_DEBUG   #                               # <debug>
-#
-# ZONE_DEBUG keeps track of all zalloc()ed elements to perform further
-#      operations on each element.
-#
-options                ZONE_DEBUG      #               # <debug>
-options                CONFIG_ZCACHE   #Enable per-cpu caching for zones       # <config_zcache>
 options                CONFIG_ZLEAKS   # Live zone leak debugging      # <zleaks>
 
 #
@@ -582,20 +620,12 @@ options           CONFIG_TASK_ZONE_INFO           # <task_zone_info>
 # available when the kernel is being debugged.
 #
 options                CONFIG_DEBUGGER_FOR_ZONE_INFO   # <debugger_for_zone_info>
-# 
-# XPR_DEBUG enables the gathering of data through the XPR macros inserted
-#      into various subsystems. This option is normally only enabled for
-#      specific performance or behavior studies, as the overhead in both
-#      code and data space is large. The data is normally retrieved through
-#      the kernel debugger (kdb) or by reading /dev/kmem.
-#      
-options                XPR_DEBUG       #               # <debug>
-# 
+#
 # MACH_LDEBUG controls the internal consistency checks and
 #      data gathering in the locking package. This also enables a debug-only
 #      version of simple-locks on uniprocessor machines. The code size and
 #      performance impact of this option is significant.
-# 
+#
 options                MACH_LDEBUG     #               # <debug>
 
 #
@@ -620,15 +650,12 @@ options     KPC                    # <kpc>
 
 options     PGO                    # <pgo>
 
-# MACH_COUNTERS enables code that handles various counters in the system.
-# 
-options                MACH_COUNTERS   #                           # <debug>
-
 # DEVELOPMENT define for development builds
 options                DEVELOPMENT     # dev kernel                # <development>
 
 # DEBUG kernel
 options                DEBUG           # general debugging code    # <debug>
+options                CONFIG_NONFATAL_ASSERTS # non fatal asserts     # <softasserts>
 
 ##########################################################
 #
@@ -653,7 +680,7 @@ options             MACH_BSD        # BSD subsystem on top of Mach  # <mach_bsd>
 options         IOKIT          #                               # <iokit>
 
 #
-#  configurable kernel related resources (CONFIG_THREAD_MAX needs to stay in 
+#  configurable kernel related resources (CONFIG_THREAD_MAX needs to stay in
 #  sync with bsd/conf/MASTER until we fix the config system... todo XXX
 #
 options   CONFIG_THREAD_MAX=2560               # <medium,large,xlarge>
@@ -669,8 +696,8 @@ options   CONFIG_TASK_MAX=512                       # <xsmall,bsmall>
 #
 options   CONFIG_ZONE_MAP_MIN=120586240        # <xsmall,bsmall,small,medium,large,xlarge>
 
-# Sizes must be a power of two for the zhash to 
-# be able to just mask off bits instead of mod 
+# Sizes must be a power of two for the zhash to
+# be able to just mask off bits instead of mod
 options          CONFIG_ZLEAK_ALLOCATION_MAP_NUM=16384 #<medium,large,xlarge>
 options          CONFIG_ZLEAK_ALLOCATION_MAP_NUM=8192  #<small,xsmall,bsmall>
 options   CONFIG_ZLEAK_TRACE_MAP_NUM=8192 #<medium,large,xlarge>
@@ -688,6 +715,8 @@ options             CONFIG_SCHED_GRRR               # <config_sched_grrr>
 options                CONFIG_SCHED_GRRR_CORE          # <config_sched_grrr>
 options                CONFIG_SCHED_MULTIQ             # <config_sched_multiq>
 options                CONFIG_SCHED_TIMESHARE_CORE     # <config_sched_traditional,config_sched_multiq>
+options                CONFIG_CLUTCH                   # <config_clutch>
+options        CONFIG_SCHED_AUTO_JOIN          # <config_sched_auto_join>
 
 options                CONFIG_SCHED_IDLE_IN_PLACE      # <config_sched_idle_in_place>
 options                CONFIG_SCHED_SFI                # <config_sched_sfi>
@@ -708,6 +737,8 @@ options             MACH_KDP            # KDP               # <mach_kdp>
 options                CONFIG_SERIAL_KDP   # KDP over serial   # <config_serial_kdp>
 options                CONFIG_KDP_INTERACTIVE_DEBUGGING        # <kdp_interactive_debugging>
 
+options        CONFIG_TASKWATCH
+options        CONFIG_USER_NOTIFICATION                # <config_user_notification>
 #
 # Kernel Power On Self Tests
 #
@@ -718,11 +749,6 @@ options            CONFIG_XNUPOST                          # <config_xnupost>
 #
 options PROC_REF_DEBUG                                 # <proc_ref_debug>
 
-#
-# Kernel OS reason debug instrumentation
-#
-options OS_REASON_DEBUG                                        # <os_reason_debug>
-
 #
 # Kernel Voucher Attr Manager for Activity Trace
 #
@@ -736,6 +762,10 @@ options            CONFIG_SYSDIAGNOSE                      # <config_sysdiagnose>
 
 # Configurable Security Restrictions
 options                CONFIG_CSR                              # <config_csr>
+options                CONFIG_CSR_FROM_DT              # <config_csr_from_dt>
+
+# Enable collection of IO Compression statistics
+options                CONFIG_IO_COMPRESSION_STATS             # <config_io_compression_stats>
 
 #
 # Console options
@@ -754,7 +784,7 @@ options             CONFIG_REQUIRES_U32_MUNGING     # incoming U32 argument structures must be
 options                COPYOUT_SHIM                    # Shim for copyout memory analysis via kext #<copyout_shim>
 
 #
-# Enable hardware correlation of mach absolute time 
+# Enable hardware correlation of mach absolute time
 # across intel/arm boundary
 options                CONFIG_MACH_BRIDGE_SEND_TIME #  # <config_mach_bridge_send_time>
 options                CONFIG_MACH_BRIDGE_RECV_TIME #  # <config_mach_bridge_recv_time>
@@ -765,4 +795,26 @@ options            CONFIG_MACH_BRIDGE_RECV_TIME #  # <config_mach_bridge_recv_time>
 options                CONFIG_32BIT_TELEMETRY # # <config_32bit_telemetry>
 
 options                CONFIG_QUIESCE_COUNTER # Support for _COMM_PAGE_CPU_QUIESCENT_COUNTER # <config_quiesce_counter>
+options                CONFIG_ARM_PFZ  # Support for PFZ on ARM # <config_arm_pfz>
+
+#
+# Sanitizers
+#
+options                CONFIG_KASAN            # <config_kasan>
+options                CONFIG_UBSAN            # <config_ubsan>
+options                CONFIG_KSANCOV          # <config_ksancov>
+
+# dark boot support
+options                CONFIG_DARKBOOT         # <config_darkboot>
+
+# support for processes delaying idle sleep for pending IO
+options                CONFIG_DELAY_IDLE_SLEEP # <config_delay_idle_sleep>
+
+# support for storing a 64-bit user supplied value in the proc structure
+options                CONFIG_PROC_UDATA_STORAGE # <config_proc_udata_storage>
+
+pseudo-device ksancov 1 init ksancov_init_dev # <config_ksancov>
 
+# debug instrumentation to catch code that leaves interrupts masked
+# for an excessive period of time
+options   INTERRUPT_MASKED_DEBUG # <interrupt_masked_debug>