GENERIC revision 1.177 1 # $NetBSD: GENERIC,v 1.177 2020/01/25 18:38:35 thorpej Exp $
2 #
3 # GENERIC machine description file
4 #
5 # This machine description file is used to generate the default NetBSD
6 # kernel. The generic kernel does not include all options, subsystems
7 # and device drivers, but should be useful for most applications.
8 #
9 # The machine description file can be customised for your specific
10 # machine to reduce the kernel size and improve its performance.
11 #
12 # For further information on compiling NetBSD kernels, see the config(8)
13 # man page.
14 #
15 # For further information on hardware support for this architecture, see
16 # the intro(4) man page. For further information about kernel options
17 # for this architecture, see the options(4) man page. For an explanation
18 # of each device driver in this file see the section 4 man page for the
19 # device.
20
21 include "arch/cats/conf/std.cats"
22
23 options INCLUDE_CONFIG_FILE # embed config file in kernel binary
24
25 # estimated number of users
26
27 maxusers 32
28
29 # Standard system options
30
31 options INSECURE # disable kernel securelevel
32
33 options RTC_OFFSET=0 # hardware clock is this many mins. west of GMT
34 options NTP # NTP phase/frequency locked loop
35
36 # experimental ELF support when used on a CATS board running ABLE
37 #options ABLEELF
38 #makeoptions ABLEELF="1"
39
40 # Alternate buffer queue strategies for better responsiveness under high
41 # disk I/O load.
42 #options BUFQ_READPRIO
43 options BUFQ_PRIOCSCAN
44
45 # CPU options
46
47 # For StrongARM systems
48 options CPU_SA110 # Support the SA110 core
49 makeoptions CPUFLAGS="-march=armv4 -mtune=strongarm"
50 #options VERBOSE_INIT_ARM
51 #options FCOM_INIT_ARM # early console attach
52
53 # File systems
54
55 file-system FFS # UFS
56 #file-system LFS # log-structured file system
57 file-system MFS # memory file system
58 file-system NFS # Network file system
59 #file-system ADOSFS # AmigaDOS-compatible file system
60 #file-system EXT2FS # second extended file system (linux)
61 file-system CD9660 # ISO 9660 + Rock Ridge file system
62 file-system MSDOSFS # MS-DOS file system
63 file-system FDESC # /dev/fd
64 file-system KERNFS # /kern
65 file-system NULLFS # loopback file system
66 #file-system OVERLAY # overlay filesystem
67 file-system PUFFS # Userspace file systems (e.g. ntfs-3g & sshfs)
68 file-system PROCFS # /proc
69 file-system UMAPFS # NULLFS + uid and gid remapping
70 file-system UNION # union file system
71 #file-system CODA # Coda File System; also needs vcode (below)
72 file-system PTYFS # /dev/pts/N support
73 file-system TMPFS # Efficient memory file-system
74 #file-system UDF # experimental - OSTA UDF CD/DVD file-system
75
76 # File system options
77 options QUOTA # legacy UFS quotas
78 options QUOTA2 # new, in-filesystem UFS quotas
79 #options FFS_EI # FFS Endian Independent support
80 options NFSSERVER
81 options WAPBL # File system journaling support
82 #options UFS_DIRHASH # UFS Large Directory Hashing - Experimental
83 #options FFS_NO_SNAPSHOT # No FFS snapshot support
84 options UFS_EXTATTR # Extended attribute support for UFS1
85
86 # Networking options
87
88 #options GATEWAY # packet forwarding
89 options INET # IP + ICMP + TCP + UDP
90 options INET6 # IPV6
91 #options IPSEC # IP security
92 #options IPSEC_DEBUG # debug for IP security
93 #options MROUTING # IP multicast routing
94 #options PIM # Protocol Independent Multicast
95 #options NETATALK # AppleTalk networking
96 options PPP_BSDCOMP # BSD-Compress compression support for PPP
97 options PPP_DEFLATE # Deflate compression support for PPP
98 options PPP_FILTER # Active filter support for PPP (requires bpf)
99 #options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG
100
101 #options ALTQ # Manipulate network interfaces' output queues
102 #options ALTQ_BLUE # Stochastic Fair Blue
103 #options ALTQ_CBQ # Class-Based Queueing
104 #options ALTQ_CDNR # Diffserv Traffic Conditioner
105 #options ALTQ_FIFOQ # First-In First-Out Queue
106 #options ALTQ_FLOWVALVE # RED/flow-valve (red-penalty-box)
107 #options ALTQ_HFSC # Hierarchical Fair Service Curve
108 #options ALTQ_LOCALQ # Local queueing discipline
109 #options ALTQ_PRIQ # Priority Queueing
110 #options ALTQ_RED # Random Early Detection
111 #options ALTQ_RIO # RED with IN/OUT
112 #options ALTQ_WFQ # Weighted Fair Queueing
113
114 options NFS_BOOT_BOOTP
115 options NFS_BOOT_DHCP
116 #options NFS_BOOT_BOOTPARAM
117
118 # Compatibility options
119
120 include "conf/compat_netbsd13.config"
121 options COMPAT_NETBSD32 # allow running arm (e.g. non-earm) binaries
122
123 # Shared memory options
124
125 options SYSVMSG # System V-like message queues
126 options SYSVSEM # System V-like semaphores
127 options SYSVSHM # System V-like memory sharing
128
129 # Device options
130
131 #options MEMORY_DISK_HOOKS # boottime setup of ramdisk
132 #options MEMORY_DISK_ROOT_SIZE=3400 # Size in blocks
133 #options MEMORY_DISK_IS_ROOT # use memory disk as root
134
135 # Miscellaneous kernel options
136 options KTRACE # system call tracing, a la ktrace(1)
137 #options IRQSTATS # manage IRQ statistics
138 options SCSIVERBOSE # Verbose SCSI errors
139 options PCIVERBOSE # Verbose PCI descriptions
140 options MIIVERBOSE # verbose PHY autoconfig messages
141 #options PCI_CONFIG_DUMP # verbosely dump PCI config space
142 options USBVERBOSE # verbose USB device autoconfig messages
143 options USERCONF # userconf(4) support
144 #options PIPE_SOCKETPAIR # smaller, but slower pipe(2)
145 options SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel
146
147 # if set defines a keycode for the fcom console to break into ddb.
148 # 0x40 == @, see man ascii(7)
149 #options DDB_KEYCODE=0x40
150
151 # wscons options
152 #options WSEMUL_SUN # sun terminal emulation
153 options WSEMUL_VT100 # VT100 / VT220 emulation
154 # different kernel output - see dev/wscons/wsdisplayvar.h
155 options WS_KERNEL_FG=WSCOL_GREEN
156 options WSDISPLAY_COMPAT_PCVT # emulate some ioctls
157 options WSDISPLAY_COMPAT_SYSCONS # emulate some ioctls
158 options WSDISPLAY_COMPAT_USL # wsconscfg VT handling
159 options WSDISPLAY_COMPAT_RAWKBD # can get raw scancodes
160 # see dev/wscons/wskbdmap_mfii.h for implemented layouts
161 #options PCKBD_LAYOUT="(KB_DE | KB_NODEAD)"
162
163 # Development and Debugging options
164
165 #options PORTMASTER # Enable PortMaster only options
166 #options DIAGNOSTIC # internal consistency checks
167 #options PMAP_DEBUG # Enable pmap_debug_level code
168 options DDB # in-kernel debugger
169 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
170 #makeoptions DEBUG="-g" # compile full symbol table
171 #makeoptions COPY_SYMTAB=1
172
173 config netbsd root on ? type ?
174
175 # The main bus device
176 mainbus0 at root
177
178 # The boot CPU
179 cpu0 at mainbus?
180
181 # Core logic
182 footbridge0 at mainbus?
183
184 # footbridge uart
185 fcom0 at footbridge?
186
187 # system clock via footbridge
188 #clock* at footbridge?
189
190 # PCI bus support
191 # PCI bus via footbridge
192 pci0 at footbridge? # PCI bus
193
194 pci* at ppb? bus ?
195
196 # PCI bridges
197 ppb* at pci? dev ? function ? # PCI-PCI bridges
198 # XXX 'puc's aren't really bridges, but there's no better place for them here
199 #puc* at pci? dev ? function ? # PCI "universal" comm. cards
200
201 # Cryptographic Devices
202
203 # PCI cryptographic devices
204 #hifn* at pci? dev ? function ? # Hifn 7755/7811/795x
205 #ubsec* at pci? dev ? function ? # Broadcom 5501/5601/580x/582x
206
207
208 # PCI serial interfaces
209 #com* at puc? port ? # 16x50s on "universal" comm boards
210 #cy* at pci? dev ? function ? # Cyclades Cyclom-Y serial boards
211
212 # PCI parallel printer interfaces
213 #lpt* at puc? port ? # || ports on "universal" comm boards
214
215 # PCI SCSI Controllers and Buses
216 #adv* at pci? dev ? function ? # AdvanSys 1200[A,B], ULTRA SCSI
217 #scsibus* at adv?
218 #adw* at pci? dev ? function ? # AdvanSys 9xxUW SCSI
219 #scsibus* at adw?
220 #ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI controllers
221 #scsibus* at ahc?
222 #bha* at pci? dev ? function ? # BusLogic 9xx SCSI
223 #scsibus* at bha?
224 #iha* at pci? dev ? function ? # Initio INIC-940/950 SCSI
225 #scsibus* at iha?
226 #isp* at pci? dev ? function ? # Qlogic ISP 10x0 SCSI controllers
227 #scsibus* at isp?
228 #pcscp* at pci? dev ? function ? # AMD 53c974 PCscsi-PCI SCSI
229 #scsibus* at pcscp?
230 #siop* at pci? dev ? function ? # NCR 53c8xx SCSI
231 #scsibus* at siop?
232 #esiop* at pci? dev ? function ? # NCR 53c875 SCSI and newer
233 #scsibus* at esiop?
234
235 # SCSI devices
236 #sd* at scsibus? target ? lun ? # SCSI disk drives
237 #st* at scsibus? target ? lun ? # SCSI tape drives
238 #cd* at scsibus? target ? lun ? # SCSI CD-ROM drives
239 #ch* at scsibus? target ? lun ? # SCSI auto-changers
240 #uk* at scsibus? target ? lun ? # SCSI unknown device
241 #ss* at scsibus? target ? lun ? # SCSI scanner
242
243 # PCI IDE Controllers and Devices
244 # PCI IDE controllers - see pciide(4) for supported hardware.
245 # The 0x0001 flag force the driver to use DMA, even if the driver doesn't know
246 # how to set up DMA modes for this chip. This may work, or may cause
247 # a machine hang with some controllers.
248 #pciide* at pci? dev ? function ? flags 0x0000 # GENERIC pciide driver
249 #acardide* at pci? dev ? function ? # Acard IDE controllers
250 aceride* at pci? dev ? function ? # Acer Lab IDE controllers
251 #artsata* at pci? dev ? function ? # Intel i31244 SATA controller
252 #cmdide* at pci? dev ? function ? # CMD tech IDE controllers
253 #cypide* at pci? dev ? function ? # Cypress IDE controllers
254 #hptide* at pci? dev ? function ? # Triones/HighPoint IDE controllers
255 #optiide* at pci? dev ? function ? # Opti IDE controllers
256 #pdcide* at pci? dev ? function ? # Promise IDE controllers
257 #pdcsata* at pci? dev ? function ? # Promise SATA150 controllers
258 #satalink* at pci? dev ? function ? # SiI SATALink controllers
259 #siside* at pci? dev ? function ? # SiS IDE controllers
260 #slide* at pci? dev ? function ? # Symphony Labs IDE controllers
261 #viaide* at pci? dev ? function ? # VIA/AMD/Nvidia IDE controllers
262
263 # ATA (IDE) bus support
264 atabus* at ata?
265
266 # IDE drives
267 # Flags are used only with controllers that support DMA operations
268 # and mode settings (e.g. some pciide controllers)
269 # The lowest order four bits (rightmost digit) of the flags define the PIO
270 # mode to use, the next set of four bits the DMA mode and the third set the
271 # UltraDMA mode. For each set of four bits, the 3 lower bits define the mode
272 # to use, and the last bit must be 1 for this setting to be used.
273 # For DMA and UDMA, 0xf (1111) means 'disable'.
274 # 0x0fac means 'use PIO mode 4, DMA mode 2, disable UltraDMA'.
275 # (0xc=1100, 0xa=1010, 0xf=1111)
276 # 0x0000 means "use whatever the drive claims to support".
277 wd* at atabus? drive ? flags 0x0000 # the drives themselves
278
279 # ATAPI bus support
280 atapibus* at atapi?
281
282 # ATAPI devices
283 cd* at atapibus? drive ? flags 0x0000 # ATAPI CD-ROM drives
284 sd* at atapibus? drive ? flags 0x0000 # ATAPI disk drives
285 uk* at atapibus? drive ? flags 0x0000 # ATAPI unknown
286
287 # PCI network interfaces
288 ep* at pci? dev ? function ? # 3C590 ethernet cards
289 ex* at pci? dev ? function ? # 3Com 90x[B]
290 epic* at pci? dev ? function ? # SMC EPIC/100 Ethernet
291 fxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B
292 #pcn* at pci? dev ? function ? # PCnet-PCI Ethernet
293 ne* at pci? dev ? function ? # NE2000 compat ethernet
294 #ntwoc* at pci? dev ? function ? # Riscom/N2 PCI Sync Serial
295 sip* at pci? dev ? function ? # SiS 900 Ethernet
296 #tl* at pci? dev ? function ? # ThunderLAN-based Ethernet
297 tlp* at pci? dev ? function ? # DECchip 21x4x and clones
298 vr* at pci? dev ? function ? # VIA Rhine Fast Ethernet
299 rtk* at pci? dev ? function ? # Realtek 8129/8139
300
301 # MII/PHY support
302 acphy* at mii? phy ? # DAltima AC101 and AMD Am79c874 PHYs
303 amhphy* at mii? phy ? # AMD 79c901 Ethernet PHYs
304 bmtphy* at mii? phy ? # Broadcom BCM5201 and BCM5202 PHYs
305 brgphy* at mii? phy ? # Broadcom BCM5400-family PHYs
306 dmphy* at mii? phy ? # Davicom DM9101 PHYs
307 exphy* at mii? phy ? # 3Com internal PHYs
308 glxtphy* at mii? phy ? # Level One LXT-1000 PHYs
309 gphyter* at mii? phy ? # NS83861 Gig-E PHY
310 icsphy* at mii? phy ? # Integrated Circuit Systems ICS189x
311 inphy* at mii? phy ? # Intel 82555 PHYs
312 iophy* at mii? phy ? # Intel 82553 PHYs
313 lxtphy* at mii? phy ? # Level One LXT-970 PHYs
314 makphy* at mii? phy ? # Marvell Semiconductor 88E1000 PHYs
315 nsphy* at mii? phy ? # NS83840 PHYs
316 nsphyter* at mii? phy ? # NS83843 PHYs
317 pnaphy* at mii? phy ? # generic HomePNA PHYs
318 qsphy* at mii? phy ? # Quality Semiconductor QS6612 PHYs
319 rgephy* at mii? phy ? # Realtek 8169S/8110S/8211 PHYs
320 rlphy* at mii? phy ? # Realtek 8139/8201L PHYs
321 sqphy* at mii? phy ? # Seeq 80220/80221/80223 PHYs
322 tlphy* at mii? phy ? # ThunderLAN PHYs
323 tqphy* at mii? phy ? # TDK Semiconductor PHYs
324 ukphy* at mii? phy ? # generic unknown PHYs
325 urlphy* at mii? phy ? # Realtek RTL8150L internal PHYs
326
327 # USB Controller and Devices
328
329 # PCI USB controllers
330 ohci* at pci? # Open Host Controller
331
332 # USB bus support
333 usb* at ohci?
334
335 # USB Hubs
336 uhub* at usb?
337 uhub* at uhub? port ?
338
339 # USB HID device
340 uhidev* at uhub? port ? configuration ? interface ?
341
342 # USB Mice
343 ums* at uhidev? reportid ?
344 wsmouse* at ums?
345
346 # USB Keyboards
347 ukbd* at uhidev? reportid ?
348 wskbd* at ukbd? console ?
349
350 # USB serial adapter
351 ucycom* at uhidev? reportid ?
352
353 # USB Generic HID devices
354 uhid* at uhidev? reportid ?
355
356 # USB Printer
357 ulpt* at uhub? port ? configuration ? interface ?
358
359 # USB Modem
360 umodem* at uhub? port ? configuration ?
361 ucom* at umodem?
362
363 # USB Mass Storage
364 umass* at uhub? port ? configuration ? interface ?
365 scsibus* at umass? channel ?
366
367 # USB audio
368 uaudio* at uhub? port ? configuration ?
369 audio* at uaudio?
370
371 # USB MIDI
372 umidi* at uhub? port ? configuration ?
373 midi* at umidi?
374
375 # USB Ethernet adapters
376 aue* at uhub? port ? # ADMtek AN986 Pegasus based adapters
377 axe* at uhub? port ? # ASIX AX88172 based adapters
378 cue* at uhub? port ? # CATC USB-EL1201A based adapters
379 kue* at uhub? port ? # Kawasaki LSI KL5KUSB101B based adapters
380 mue* at uhub? port ? # Microchip LAN75xx/LAN78xx based adapters
381 ure* at uhub? port ? # Realtek RTL8152/RTL8153 based adapters
382 url* at uhub? port ? # Realtek RTL8150L based adapters
383 udav* at uhub? port ? # Davicom DM9601 based adapters
384
385 # Prolific PL2301/PL2302 host-to-host adapter
386 upl* at uhub? port ?
387
388 # Serial adapters
389 # FTDI FT8U100AX serial adapter
390 uftdi* at uhub? port ?
391 ucom* at uftdi? portno ?
392
393 uplcom* at uhub? port ? # I/O DATA USB-RSAQ2 serial adapter
394 ucom* at uplcom? portno ?
395
396 umct* at uhub? port ? # MCT USB-RS232 serial adapter
397 ucom* at umct? portno ?
398
399 # Diamond Multimedia Rio 500
400 urio* at uhub? port ?
401
402 # USB Handspring Visor
403 uvisor* at uhub? port ?
404 ucom* at uvisor?
405
406 # Kyocera AIR-EDGE PHONE
407 ukyopon* at uhub? port ?
408 ucom* at ukyopon? portno ?
409
410 # USB scanners
411 #uscanner* at uhub? port ?
412
413 # USB scanners that use SCSI emulation, e.g., HP5300
414 usscanner* at uhub? port ?
415 scsibus* at usscanner? channel ?
416
417 # Y@P firmware loader
418 uyap* at uhub? port ?
419
420 # USB Generic driver
421 ugen* at uhub? port ?
422
423 # Audio Devices
424
425 # PCI audio devices
426 #eap* at pci? dev ? function ? # Ensoniq AudioPCI
427 #sv* at pci? dev ? function ? # S3 SonicVibes
428
429 # Audio support
430 #audio* at eap?
431 #audio* at sv?
432
433 vga* at pci?
434 wsdisplay* at vga? console ?
435
436 # ISA bus bridging
437
438 pcib* at pci? dev ? function ? # PCI-ISA bridge
439 isa* at pcib? # ISA bus
440
441 # ISA Plug-and-Play bus support
442 isapnp0 at isa?
443
444 # wscons
445 pckbc0 at isa? # pc keyboard controller
446 pckbd* at pckbc? # PC keyboard
447 pms* at pckbc? # PS/2 mouse for wsmouse
448 wskbd* at pckbd? console ?
449 wsmouse* at pms?
450
451 attimer0 at isa?
452 pcppi0 at isa?
453 sysbeep0 at pcppi?
454
455 # ISA Plug-and-Play serial interfaces
456 com* at isapnp? # Modems and serial boards
457
458 # ISA Plug-and-Play network interfaces
459 ep* at isapnp? # 3Com 3c509 Ethernet
460 fmv* at isapnp? # Fujitsu FMV-183
461 ne* at isapnp? # NE2000-compatible
462
463 # ISA serial interfaces
464 com0 at isa? port 0x3f8 irq 4 # Standard PC serial ports
465 com1 at isa? port 0x2f8 irq 3
466 #com2 at isa? port 0x3e8 irq 9
467 #com3 at isa? port 0x2e8 irq 10
468
469 # ISA parallel printer interfaces
470 lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports
471 lpt1 at isa? port 0x278 irq 5
472 #lpt2 at isa? port 0x3bc
473
474 # ISA floppy
475 #fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers
476 #fdc1 at isa? port 0x370 irq ? drq ?
477 #fd* at fdc? drive ? # the drives themselves
478
479 # ISA network interface
480 #ne0 at isa? port 0x280 irq 9
481 #ne1 at isa? port 0x300 irq 10
482 #ep* at isa? port ? irq ?
483
484 # The spkr driver provides a simple tone interface to the built in speaker.
485 spkr* at pcppi? # PC speaker
486 spkr* at audio? # PC speaker (synthesized)
487
488 ds1687rtc0 at isa? port 0x72 # Dallas 1687 RTC
489
490 # ISA Plug-and-Play audio devices
491 ess* at isapnp? # ESS Tech ES1887, ES1888, ES888 audio
492 sb* at isapnp? # SoundBlaster-compatible audio
493 wss* at isapnp? # Windows Sound System
494
495 # OPL[23] FM syntheziers
496 opl* at ess?
497 opl* at sb?
498
499 # Audio support
500 audio* at ess?
501 audio* at sb?
502 audio* at wss?
503
504 # MPU 401 UARTs
505 #mpu* at sb?
506
507 # MIDI support
508 midi* at pcppi? # MIDI interface to the PC speaker
509 midi* at sb? # SB MPU401 port
510 midi* at opl? # OPL FM synth
511 #midi* at mpu? # MPU 401
512
513 # Joysticks
514
515 # ISA Plug-and-Play joysticks
516 joy* at isapnp? # Game ports (usually on audio cards)
517
518 # ISA joysticks. Probe is a little strange; add only if you have one.
519 #joy0 at isa? port 0x201
520
521 # Pseudo-Devices
522
523 #pseudo-device crypto # /dev/crypto device
524 #pseudo-device swcrypto # software crypto implementation
525
526 # disk/mass storage pseudo-devices
527 pseudo-device ccd # concatenated/striped disk devices
528 pseudo-device fss # file system snapshot device
529 #pseudo-device cgd # cryptographic disk devices
530 pseudo-device md # memory disk device (ramdisk)
531 pseudo-device vnd # disk-like interface to files
532 #options VND_COMPRESSION # compressed vnd(4)
533 pseudo-device putter # for puffs and pud
534
535 # network pseudo-devices
536 pseudo-device bpfilter # Berkeley packet filter
537 pseudo-device carp # Common Address Redundancy Protocol
538 #pseudo-device npf # NPF packet filter
539 pseudo-device loop # network loopback
540 pseudo-device ppp # Point-to-Point Protocol
541 pseudo-device pppoe # PPP over Ethernet (RFC 2516)
542 #pseudo-device sl # Serial Line IP
543 pseudo-device tun # network tunneling over tty
544 pseudo-device tap # virtual Ethernet
545 pseudo-device gre # generic L3 over IP tunnel
546 pseudo-device gif # IPv[46] over IPv[46] tunnel (RFC1933)
547 #pseudo-device faith # IPv[46] tcp relay translation i/f
548 pseudo-device stf # 6to4 IPv6 over IPv4 encapsulation
549 pseudo-device vlan # IEEE 802.1q encapsulation
550 pseudo-device bridge # simple inter-network bridging
551 #options BRIDGE_IPF # bridge uses IP/IPv6 pfil hooks too
552 pseudo-device agr # IEEE 802.3ad link aggregation
553
554 #
555 # accept filters
556 pseudo-device accf_data # "dataready" accept filter
557 pseudo-device accf_http # "httpready" accept filter
558
559 # miscellaneous pseudo-devices
560 pseudo-device pty # pseudo-terminals
561 pseudo-device sequencer # MIDI sequencer
562 #options RND_COM # use "com" randomness as well (BROKEN)
563 pseudo-device clockctl # user control of clock subsystem
564 pseudo-device drvctl # user control of drive subsystem
565
566 # a pseudo device needed for Coda # also needs CODA (above)
567 #pseudo-device vcoda # coda minicache <-> venus comm.
568
569 # mouse & keyboard multiplexor pseudo-devices
570 pseudo-device wsmux
571 pseudo-device wsfont
572 pseudo-device ksyms # /dev/ksyms
573
574 include "dev/veriexec.config"
575