Home | History | Annotate | Line # | Download | only in conf
GENERIC32_IP3x revision 1.116.2.2
      1  1.116.2.2    martin #	$NetBSD: GENERIC32_IP3x,v 1.116.2.2 2020/04/08 14:07:51 martin Exp $
      2        1.1    sekiya #
      3        1.3     pooka # GENERIC32_IP3x machine description file
      4        1.1    sekiya # 
      5        1.1    sekiya # This machine description file is used to generate the default NetBSD
      6        1.1    sekiya # kernel.  The generic kernel does not include all options, subsystems
      7        1.1    sekiya # and device drivers, but should be useful for most applications.
      8        1.1    sekiya #
      9        1.1    sekiya # The machine description file can be customised for your specific
     10        1.1    sekiya # machine to reduce the kernel size and improve its performance.
     11        1.1    sekiya #
     12        1.1    sekiya # For further information on compiling NetBSD kernels, see the config(8)
     13        1.1    sekiya # man page.
     14        1.1    sekiya #
     15        1.1    sekiya # For further information on hardware support for this architecture, see
     16        1.1    sekiya # the intro(4) man page.  For further information about kernel options
     17        1.1    sekiya # for this architecture, see the options(4) man page.  For an explanation
     18        1.1    sekiya # of each device driver in this file see the section 4 man page for the
     19        1.1    sekiya # device.
     20        1.1    sekiya #
     21        1.1    sekiya #
     22        1.3     pooka # Currently this config file supports O2 (IP32).
     23        1.3     pooka #
     24        1.1    sekiya 
     25        1.4     pooka include 	"arch/sgimips/conf/std.sgimips"
     26        1.4     pooka 
     27        1.4     pooka makeoptions	TEXTADDR="0x80069000"	# entry point
     28        1.1    sekiya 
     29        1.1    sekiya options 	INCLUDE_CONFIG_FILE	# embed config file in kernel binary
     30        1.1    sekiya 
     31  1.116.2.2    martin #ident		"GENERIC32_IP3x-$Revision: 1.116.2.2 $"
     32        1.1    sekiya 
     33        1.1    sekiya maxusers	32
     34        1.1    sekiya 
     35        1.1    sekiya # CPU related options
     36        1.1    sekiya options 	MIPS3		# MIPS3 support
     37       1.72   tsutsui options 	ENABLE_MIPS4_CACHE_R10K # enable R10000 cache ops
     38       1.72   tsutsui #options 	BLINK		# blinkenlitzen
     39       1.82      matt makeoptions	CPUFLAGS="-march=mips3 -mtune=vr5000"
     40        1.1    sekiya 
     41        1.1    sekiya # Standard system options
     42        1.1    sekiya #options 	INSECURE	# disable kernel security levels
     43        1.1    sekiya 
     44        1.1    sekiya #options 	NTP		# NTP phase/frequence locked loop
     45        1.1    sekiya options 	KTRACE		# system call tracing via ktrace(1)
     46        1.1    sekiya 
     47        1.1    sekiya options 	SYSVMSG		# System V message queues
     48        1.1    sekiya options 	SYSVSEM		# System V semaphores
     49        1.1    sekiya options 	SYSVSHM		# System V shared memory
     50        1.1    sekiya 
     51        1.1    sekiya options 	USERCONF	# userconf(4) support
     52        1.1    sekiya #options 	PIPE_SOCKETPAIR	# smaller, but slower pipe(2)
     53       1.13    atatat options 	SYSCTL_INCLUDE_DESCR	# Include sysctl descriptions in kernel
     54        1.1    sekiya 
     55      1.115     sevan # Alternate buffer queue strategies for better responsiveness under high
     56      1.115     sevan # disk I/O load.
     57       1.25   tsutsui #options 	BUFQ_READPRIO
     58      1.116  jmcneill options 	BUFQ_PRIOCSCAN
     59        1.1    sekiya 
     60        1.1    sekiya # Diagnostic/debugging support options
     61        1.1    sekiya #options 	DIAGNOSTIC	# expensive kernel consistency checks
     62        1.1    sekiya #options 	DEBUG		# expensive debugging checks/support
     63        1.1    sekiya options 	DDB		# in-kernel debugger
     64        1.1    sekiya options 	DDB_HISTORY_SIZE=512	# enable history editing in DDB
     65        1.1    sekiya #options 	KGDB		# remote debugger
     66        1.1    sekiya #options 	KGDB_DEV=0x2301		# KGDB port - this is Serial(1)
     67        1.1    sekiya #options 	KGDB_DEVRATE=19200	# KGDB Baud Rate
     68        1.1    sekiya #makeoptions	DEBUG="-g"	# compile full symbol table
     69        1.1    sekiya 
     70        1.1    sekiya # Compatibility options
     71      1.114       mrg include 	"conf/compat_netbsd15.config"
     72        1.1    sekiya 
     73       1.85       chs options 	COMPAT_LINUX	# binary compatibility with Linux
     74       1.72   tsutsui #options 	COMPAT_ULTRIX	# binary compatibility with Ultrix 
     75        1.1    sekiya 
     76        1.1    sekiya # File systems
     77  1.116.2.1  christos include "conf/filesystems.config"
     78        1.1    sekiya 
     79        1.1    sekiya # File system options
     80       1.88    bouyer options 	QUOTA		# legacy UFS quotas
     81       1.88    bouyer options 	QUOTA2		# new, in-filesystem UFS quotas
     82        1.1    sekiya #options 	FFS_EI		# FFS Endian Independent support
     83       1.91  dholland options 	WAPBL		# File system journaling support
     84       1.72   tsutsui #options 	UFS_DIRHASH	# UFS Large Directory Hashing - Experimental
     85        1.1    sekiya options 	NFSSERVER	# Network File System server
     86       1.42   tsutsui #options 	FFS_NO_SNAPSHOT	# No FFS snapshot support
     87      1.105      manu options 	UFS_EXTATTR	# Extended attribute support for UFS1
     88        1.1    sekiya #options 	EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and
     89        1.1    sekiya 				# immutable) behave as system flags.
     90        1.1    sekiya 
     91        1.1    sekiya # Networking options
     92        1.1    sekiya #options 	GATEWAY		# packet forwarding
     93        1.1    sekiya options 	INET		# IP + ICMP + TCP + UDP
     94        1.1    sekiya options 	INET6		# IPV6
     95        1.1    sekiya #options 	IPSEC		# IP security
     96        1.1    sekiya #options 	IPSEC_DEBUG	# debug for IP security
     97        1.1    sekiya #options 	MROUTING	# IP multicast routing
     98       1.14      manu #options 	PIM		# Protocol Independent Multicast
     99        1.1    sekiya options 	NETATALK	# AppleTalk networking protocols
    100        1.1    sekiya options 	PPP_BSDCOMP	# BSD-Compress compression support for PPP
    101        1.1    sekiya options 	PPP_DEFLATE	# Deflate compression support for PPP
    102        1.1    sekiya options 	PPP_FILTER	# Active filter support for PPP (requires bpf)
    103        1.1    sekiya #options 	TCP_DEBUG	# Record last TCP_NDEBUG packets with SO_DEBUG
    104        1.1    sekiya 
    105        1.9       abs #options 	ALTQ		# Manipulate network interfaces' output queues
    106        1.9       abs #options 	ALTQ_BLUE	# Stochastic Fair Blue
    107        1.9       abs #options 	ALTQ_CBQ	# Class-Based Queueing
    108        1.9       abs #options 	ALTQ_CDNR	# Diffserv Traffic Conditioner
    109        1.9       abs #options 	ALTQ_FIFOQ	# First-In First-Out Queue
    110        1.9       abs #options 	ALTQ_FLOWVALVE	# RED/flow-valve (red-penalty-box)
    111        1.9       abs #options 	ALTQ_HFSC	# Hierarchical Fair Service Curve
    112        1.9       abs #options 	ALTQ_LOCALQ	# Local queueing discipline
    113        1.9       abs #options 	ALTQ_PRIQ	# Priority Queueing
    114        1.9       abs #options 	ALTQ_RED	# Random Early Detection
    115        1.9       abs #options 	ALTQ_RIO	# RED with IN/OUT
    116        1.9       abs #options 	ALTQ_WFQ	# Weighted Fair Queueing
    117        1.9       abs 
    118      1.102     alnsn # JIT compiler for bpfilter
    119      1.102     alnsn #options	SLJIT
    120      1.102     alnsn #options	BPFJIT
    121      1.102     alnsn 
    122        1.1    sekiya # These options enable verbose messages for several subsystems.
    123        1.1    sekiya # Warning, these may compile large string tables into the kernel!
    124        1.1    sekiya options 	MIIVERBOSE	# verbose PHY autoconfig messages
    125        1.1    sekiya options 	PCIVERBOSE	# verbose PCI device autoconfig messages
    126        1.1    sekiya #options 	PCI_CONFIG_DUMP	# verbosely dump PCI config space
    127        1.1    sekiya options 	SCSIVERBOSE	# human readable SCSI error messages
    128        1.1    sekiya 
    129        1.1    sekiya options 	NFS_BOOT_DHCP,NFS_BOOT_BOOTPARAM
    130        1.1    sekiya 
    131        1.1    sekiya #options 	MEMORY_DISK_HOOKS
    132        1.1    sekiya #options 	MEMORY_DISK_IS_ROOT
    133        1.1    sekiya #options 	MEMORY_DISK_SERVER=0
    134        1.1    sekiya #options 	MINIROOTSIZE=8192
    135        1.1    sekiya 
    136        1.1    sekiya #options 	SCSI_DELAY=5
    137        1.1    sekiya 
    138        1.1    sekiya # Kernel root file system and dump configuration.
    139        1.1    sekiya config		netbsd	root on ? type ?
    140        1.1    sekiya 
    141        1.1    sekiya # Main bus and CPU
    142        1.1    sekiya mainbus0 	at root
    143        1.1    sekiya cpu0 		at mainbus?
    144        1.1    sekiya 
    145        1.1    sekiya # O2 busses
    146        1.1    sekiya crime0 		at mainbus0 addr 0x14000000
    147       1.61  jmcneill crmfb0		at mainbus0 addr 0x16000000
    148       1.61  jmcneill wsdisplay* 	at crmfb? console ?
    149        1.1    sekiya mace0 		at mainbus0 addr 0x1f000000
    150       1.74   tsutsui #options 	MACE_NEEDS_DELAYS
    151        1.1    sekiya macepci0 	at mace0 offset 0x080000 intr 7
    152        1.1    sekiya pci0 		at macepci0 bus 0
    153       1.50   tsutsui pci*		at ppb? bus ?
    154       1.50   tsutsui options 	PCI_NETBSD_CONFIGURE
    155        1.1    sekiya 
    156       1.61  jmcneill options 	WSEMUL_VT100
    157       1.93       abs options 	WSDISPLAY_COMPAT_USL		# wsconscfg VT handling
    158       1.61  jmcneill options 	WS_KERNEL_FG=WSCOL_GREEN
    159       1.61  jmcneill options 	WS_KERNEL_BG=WSCOL_BLACK
    160       1.61  jmcneill options 	WS_DEFAULT_BG=WSCOL_BLACK
    161       1.61  jmcneill 
    162        1.1    sekiya # MACE devices
    163       1.11   tsutsui mec0 		at mace0 offset 0x280000 intr 3
    164       1.62  jmcneill mavb0		at mace0 offset 0x300000 intr 6
    165       1.61  jmcneill macekbc0	at mace0 offset 0x320000 intr 5
    166       1.12   tsutsui lpt0 		at mace0 offset 0x380000 intr 4 intrmask 0x000f0000
    167        1.1    sekiya com0 		at mace0 offset 0x390000 intr 4 intrmask 0x03f00000
    168        1.1    sekiya com1 		at mace0 offset 0x398000 intr 4 intrmask 0xfc000000
    169        1.1    sekiya mcclock0	at mace0 offset 0x3a0000
    170        1.1    sekiya 
    171       1.50   tsutsui # PCI bridges
    172       1.50   tsutsui ppb*	at pci? dev ? function ?	# PCI-PCI bridges
    173       1.50   tsutsui 
    174        1.3     pooka # PCI cryptographic devices
    175        1.3     pooka hifn*	at pci? dev ? function ?	# Hifn 7755/7811/795x
    176        1.3     pooka ubsec*	at pci? dev ? function ?	# Broadcom 5501/5601/580x/582x
    177        1.3     pooka 
    178        1.1    sekiya # PCI network devices
    179        1.1    sekiya #an*     at pci? dev ? function ?        # Aironet PC4500/PC4800 (802.11)
    180        1.1    sekiya #bge*    at pci? dev ? function ?        # Broadcom 570x gigabit Ethernet
    181        1.1    sekiya ep*     at pci? dev ? function ?        # 3Com 3c59x
    182        1.1    sekiya epic*   at pci? dev ? function ?        # SMC EPIC/100 Ethernet
    183        1.1    sekiya ex*     at pci? dev ? function ?        # 3Com 90x[BC]
    184        1.1    sekiya fxp*    at pci? dev ? function ?        # Intel EtherExpress PRO 10+/100B
    185       1.51     pavel gsip*   at pci? dev ? function ?        # NS83820 Gigabit Ethernet
    186        1.1    sekiya #hme*   at pci? dev ? function ?        # Sun Microelectronics STP2002-STQ
    187        1.1    sekiya mtd*    at pci? dev ? function ?        # Myson MTD803 3-in-1 Ethernet
    188        1.1    sekiya ne*     at pci? dev ? function ?        # NE2000-compatible Ethernet
    189        1.1    sekiya ntwoc*  at pci? dev ? function ?        # Riscom/N2 PCI Sync Serial
    190        1.1    sekiya pcn*    at pci? dev ? function ?        # AMD PCnet-PCI Ethernet
    191       1.57   tsutsui re*     at pci? dev ? function ?        # Realtek 8139C+/8169/8169S/8110S
    192        1.1    sekiya rtk*    at pci? dev ? function ?        # Realtek 8129/8139
    193        1.1    sekiya sf*     at pci? dev ? function ?        # Adaptec AIC-6915 Ethernet
    194        1.1    sekiya sip*    at pci? dev ? function ?        # SiS 900/DP83815 Ethernet
    195        1.1    sekiya #skc*   at pci? dev ? function ?        # SysKonnect SK9821 Gigabit Ethernet
    196        1.1    sekiya #sk*    at skc?                         # SysKonnect SK9821 Gigabit Ethernet
    197        1.1    sekiya ste*    at pci? dev ? function ?        # Sundance ST-201 Ethernet
    198        1.1    sekiya #stge*   at pci? dev ? function ?        # Sundance/Tamarack TC9021 Gigabit
    199        1.1    sekiya ti*     at pci? dev ? function ?        # Alteon ACEnic gigabit Ethernet
    200        1.1    sekiya tl*     at pci? dev ? function ?        # ThunderLAN-based Ethernet
    201        1.1    sekiya tlp*    at pci? dev ? function ?        # DECchip 21x4x and clones
    202        1.1    sekiya vr*     at pci? dev ? function ?        # VIA Rhine Fast Ethernet
    203        1.1    sekiya wi*     at pci? dev ? function ?        # Intersil Prism Mini-PCI (802.11b)
    204        1.1    sekiya wm*     at pci? dev ? function ?        # Intel 82543/82544 gigabit
    205        1.1    sekiya 
    206        1.1    sekiya # MII/PHY support
    207        1.1    sekiya acphy*  at mii? phy ?                   # Altima AC101 and AMD Am79c874 PHYs
    208        1.1    sekiya amhphy* at mii? phy ?                   # AMD 79c901 Ethernet PHYs
    209        1.1    sekiya bmtphy*	at mii? phy ?			# Broadcom BCM5201 and BCM5202 PHYs
    210        1.1    sekiya brgphy* at mii? phy ?                   # Broadcom BCM5400-family PHYs
    211        1.1    sekiya dmphy*  at mii? phy ?                   # Davicom DM9101 PHYs
    212        1.1    sekiya exphy*	at mii? phy ?			# 3Com internal PHYs
    213        1.1    sekiya gentbi* at mii? phy ?                   # Generic Ten-Bit 1000BASE-[CLS]X PHYs
    214        1.1    sekiya glxtphy* at mii? phy ?			# Level One LXT-1000 PHYs
    215        1.1    sekiya gphyter* at mii? phy ?			# NS83861 Gig-E PHY
    216        1.1    sekiya icsphy* at mii? phy ?                   # Integrated Circuit Systems ICS189x
    217       1.58    bouyer ikphy*	at mii? phy ?			# Intel 82563 PHYs
    218        1.1    sekiya inphy*	at mii? phy ?			# Intel 82555 PHYs
    219        1.1    sekiya iophy*  at mii? phy ?                   # Intel 82553 PHYs
    220        1.1    sekiya lxtphy* at mii? phy ?                   # Level One LXT-970 PHYs
    221        1.1    sekiya makphy*	at mii? phy ?			# Marvell Semiconductor 88E1000 PHYs
    222        1.1    sekiya nsphy*	at mii? phy ?			# NS83840 PHYs
    223        1.1    sekiya nsphyter* at mii? phy ?                 # NS83843 PHYs
    224        1.1    sekiya pnaphy* at mii? phy ?                   # generic HomePNA PHYs
    225        1.1    sekiya qsphy*  at mii? phy ?                   # Quality Semiconductor QS6612 PHYs
    226  1.116.2.1  christos rgephy* at mii? phy ?                   # Realtek 8169S/8110S/8211 PHYs
    227  1.116.2.1  christos rlphy* at mii? phy ?                    # Realtek 8139/8201L PHYs
    228        1.1    sekiya sqphy*  at mii? phy ?                   # Seeq 80220/80221/80223 PHYs
    229        1.1    sekiya tlphy*  at mii? phy ?                   # ThunderLAN PHYs
    230        1.1    sekiya tqphy*  at mii? phy ?                   # TDK Semiconductor PHYs
    231        1.1    sekiya ukphy*	at mii? phy ?			# generic unknown PHYs
    232        1.1    sekiya urlphy* at mii? phy ?                   # Realtek RTL8150L internal PHYs
    233        1.1    sekiya 
    234        1.1    sekiya # O2 SCSI
    235       1.49   tsutsui adv* 		at pci? dev ? function ?
    236        1.1    sekiya ahc* 		at pci? dev ? function ?
    237       1.35   tsutsui esiop*		at pci? dev ? function ?
    238       1.38   tsutsui njs*		at pci? dev ? function ?
    239       1.37   tsutsui pcscp*		at pci? dev ? function ?
    240        1.1    sekiya scsibus* 	at scsi?
    241        1.1    sekiya 
    242        1.1    sekiya sd*     at scsibus? target ? lun ?	# SCSI disks
    243        1.1    sekiya st*     at scsibus? target ? lun ?	# SCSI tapes
    244        1.1    sekiya cd*     at scsibus? target ? lun ?	# SCSI CD-ROMs
    245        1.1    sekiya ch*     at scsibus? target ? lun ?	# SCSI changer devices
    246        1.1    sekiya ss*     at scsibus? target ? lun ?	# SCSI scanners
    247        1.1    sekiya ses*    at scsibus? target ? lun ?	# SCSI SES/SAF-TE devices
    248        1.1    sekiya uk*     at scsibus? target ? lun ?	# unknown SCSI
    249        1.1    sekiya 
    250       1.61  jmcneill pckbd*		at macekbc?
    251       1.61  jmcneill pms*		at macekbc?
    252        1.1    sekiya wskbd*		at pckbd? console ?
    253        1.1    sekiya wsmouse* 	at pms? mux 0
    254        1.1    sekiya #wsdisplay* 	at foofb? console ?
    255        1.1    sekiya 
    256        1.1    sekiya # USB Controller and Devices
    257        1.1    sekiya 
    258        1.1    sekiya # PCI USB controllers
    259        1.1    sekiya ehci*	at pci? dev ? function ?        # Enhanced Host Controller
    260        1.1    sekiya ohci*   at pci? dev ? function ?        # Open Host Controller
    261        1.1    sekiya uhci*   at pci? dev ? function ?        # Universal Host Controller (Intel)
    262        1.1    sekiya 
    263        1.1    sekiya # USB bus support
    264        1.1    sekiya usb*	at ehci?
    265        1.1    sekiya usb*    at ohci?
    266        1.1    sekiya usb*    at uhci?
    267        1.1    sekiya 
    268  1.116.2.1  christos include "dev/usb/usbdevices.config"
    269        1.1    sekiya 
    270       1.28  kiyohara # PCI IEEE1394 controllers
    271       1.70    sekiya fwohci* at pci? dev ? function ?	# IEEE1394 Open Host Controller
    272       1.28  kiyohara 
    273       1.70    sekiya ieee1394if* at fwohci?
    274       1.70    sekiya fwip*	at ieee1394if?			# IP over IEEE1394
    275       1.70    sekiya sbp*	at ieee1394if? euihi ? euilo ?
    276       1.28  kiyohara 
    277        1.1    sekiya # Audio support
    278        1.1    sekiya audio*  at audiobus?
    279        1.1    sekiya 
    280      1.111  christos spkr*	at audio?			# PC speaker (synthesized)
    281      1.109       nat 
    282        1.1    sekiya # MIDI support
    283        1.1    sekiya midi*   at midibus?
    284        1.1    sekiya 
    285  1.116.2.1  christos include "dev/bluetooth/bluetoothdevices.config"
    286  1.116.2.1  christos 
    287        1.1    sekiya # Pseudo-Devices
    288        1.1    sekiya 
    289       1.40   thorpej pseudo-device	crypto			# /dev/crypto device
    290       1.41   thorpej pseudo-device	swcrypto		# software crypto implementation
    291        1.3     pooka 
    292        1.1    sekiya # disk/mass storage pseudo-devices
    293       1.97  christos pseudo-device	ccd			# concatenated/striped disk devices
    294       1.97  christos #pseudo-device	cgd			# cryptographic disk devices
    295       1.98  christos #pseudo-device	raid			# RAIDframe disk driver
    296        1.1    sekiya #options 	RAID_AUTOCONFIG		# auto-configuration of RAID components
    297       1.84     pooka pseudo-device	fss			# file system snapshot device
    298       1.86   hannken pseudo-device	md			# memory disk device (ramdisk)
    299       1.47      cube pseudo-device	vnd			# disk-like interface to files
    300       1.29   hubertf #options 	VND_COMPRESSION		# compressed vnd(4)
    301        1.1    sekiya 
    302        1.1    sekiya # network pseudo-devices
    303       1.46    rpaulo pseudo-device	bpfilter		# Berkeley packet filter
    304  1.116.2.1  christos pseudo-device	carp			# Common Address Redundancy Protocol
    305  1.116.2.1  christos pseudo-device	npf			# NPF packet filter
    306        1.1    sekiya pseudo-device	loop			# network loopback
    307       1.47      cube pseudo-device	ppp			# Point-to-Point Protocol
    308       1.47      cube pseudo-device	sl			# Serial Line IP
    309       1.47      cube pseudo-device	tun			# network tunneling over tty
    310       1.19      cube pseudo-device	tap			# virtual Ethernet
    311       1.47      cube pseudo-device	gre			# generic L3 over IP tunnel
    312       1.47      cube pseudo-device	gif			# IPv[46] over IPv[46] tunnel (RFC1933)
    313       1.47      cube #pseudo-device	faith			# IPv[46] tcp relay translation i/f
    314       1.48     pavel pseudo-device	stf			# 6to4 IPv6 over IPv4 encapsulation
    315        1.1    sekiya pseudo-device	vlan			# IEEE 802.1q encapsulation
    316        1.1    sekiya pseudo-device	bridge			# simple inter-network bridging
    317       1.72   tsutsui #options 	BRIDGE_IPF		# bridge uses IP/IPv6 pfil hooks too
    318       1.63    martin pseudo-device	agr			# IEEE 802.3ad link aggregation
    319       1.75   tsutsui pseudo-device   accf_data		# "dataready" accept filter
    320       1.75   tsutsui pseudo-device   accf_http		# "httpready" accept filter
    321        1.1    sekiya 
    322        1.1    sekiya # miscellaneous pseudo-devices
    323        1.1    sekiya pseudo-device	pty			# pseudo-terminals
    324       1.99  christos pseudo-device	sequencer		# MIDI sequencer
    325        1.1    sekiya pseudo-device	clockctl		# user control of clock subsystem
    326        1.1    sekiya pseudo-device	ksyms			# /dev/ksyms
    327       1.61  jmcneill 
    328       1.61  jmcneill # wscons pseudo-devices
    329       1.61  jmcneill pseudo-device	wsmux			# mouse & keyboard multiplexor
    330       1.61  jmcneill pseudo-device	wsfont
    331        1.1    sekiya 
    332       1.79  jmcneill # userland interface to drivers, including autoconf and properties retrieval
    333       1.79  jmcneill pseudo-device	drvctl
    334       1.79  jmcneill 
    335  1.116.2.1  christos include "dev/veriexec.config"
    336