GENERIC revision 1.165 1 # $NetBSD: GENERIC,v 1.165 2017/09/14 07:58:39 mrg 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 # Enable experimental buffer queue strategy for better responsiveness under
41 # high disk I/O load. Use it with caution - it's not proven to be stable yet.
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 IPFILTER_LOG # ipmon(8) log support
100 options IPFILTER_LOOKUP # ippool(8) support
101 options IPFILTER_COMPAT # Compat for IP-Filter
102 #options IPFILTER_DEFAULT_BLOCK # block all packets by default
103 #options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG
104
105 #options ALTQ # Manipulate network interfaces' output queues
106 #options ALTQ_BLUE # Stochastic Fair Blue
107 #options ALTQ_CBQ # Class-Based Queueing
108 #options ALTQ_CDNR # Diffserv Traffic Conditioner
109 #options ALTQ_FIFOQ # First-In First-Out Queue
110 #options ALTQ_FLOWVALVE # RED/flow-valve (red-penalty-box)
111 #options ALTQ_HFSC # Hierarchical Fair Service Curve
112 #options ALTQ_LOCALQ # Local queueing discipline
113 #options ALTQ_PRIQ # Priority Queueing
114 #options ALTQ_RED # Random Early Detection
115 #options ALTQ_RIO # RED with IN/OUT
116 #options ALTQ_WFQ # Weighted Fair Queueing
117
118 options NFS_BOOT_BOOTP
119 options NFS_BOOT_DHCP
120 #options NFS_BOOT_BOOTPARAM
121
122 # Compatibility options
123
124 include "conf/compat_netbsd13.config"
125 options COMPAT_NETBSD32 # allow running arm (e.g. non-earm) binaries
126
127 # Shared memory options
128
129 options SYSVMSG # System V-like message queues
130 options SYSVSEM # System V-like semaphores
131 options SYSVSHM # System V-like memory sharing
132
133 # Device options
134
135 #options MEMORY_DISK_HOOKS # boottime setup of ramdisk
136 #options MEMORY_DISK_ROOT_SIZE=3400 # Size in blocks
137 #options MEMORY_DISK_IS_ROOT # use memory disk as root
138
139 # Miscellaneous kernel options
140 options KTRACE # system call tracing, a la ktrace(1)
141 #options IRQSTATS # manage IRQ statistics
142 options SCSIVERBOSE # Verbose SCSI errors
143 options PCIVERBOSE # Verbose PCI descriptions
144 options MIIVERBOSE # verbose PHY autoconfig messages
145 #options PCI_CONFIG_DUMP # verbosely dump PCI config space
146 options USBVERBOSE # verbose USB device autoconfig messages
147 options USERCONF # userconf(4) support
148 #options PIPE_SOCKETPAIR # smaller, but slower pipe(2)
149 options SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel
150
151 # if set defines a keycode for the fcom console to break into ddb.
152 # 0x40 == @, see man ascii(7)
153 #options DDB_KEYCODE=0x40
154
155 # wscons options
156 #options WSEMUL_SUN # sun terminal emulation
157 options WSEMUL_VT100 # VT100 / VT220 emulation
158 # different kernel output - see dev/wscons/wsdisplayvar.h
159 options WS_KERNEL_FG=WSCOL_GREEN
160 options WSDISPLAY_COMPAT_PCVT # emulate some ioctls
161 options WSDISPLAY_COMPAT_SYSCONS # emulate some ioctls
162 options WSDISPLAY_COMPAT_USL # wsconscfg VT handling
163 options WSDISPLAY_COMPAT_RAWKBD # can get raw scancodes
164 # see dev/wscons/wskbdmap_mfii.h for implemented layouts
165 #options PCKBD_LAYOUT="(KB_DE | KB_NODEAD)"
166
167 # Development and Debugging options
168
169 #options PORTMASTER # Enable PortMaster only options
170 #options DIAGNOSTIC # internal consistency checks
171 #options PMAP_DEBUG # Enable pmap_debug_level code
172 options DDB # in-kernel debugger
173 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
174 #makeoptions DEBUG="-g" # compile full symbol table
175 #makeoptions COPY_SYMTAB=1
176
177 config netbsd root on ? type ?
178
179 # The main bus device
180 mainbus0 at root
181
182 # The boot CPU
183 cpu0 at mainbus?
184
185 # Core logic
186 footbridge0 at mainbus?
187
188 # footbridge uart
189 fcom0 at footbridge?
190
191 # system clock via footbridge
192 #clock* at footbridge?
193
194 # PCI bus support
195 # PCI bus via footbridge
196 pci0 at footbridge? # PCI bus
197
198 pci* at ppb? bus ?
199
200 # PCI bridges
201 ppb* at pci? dev ? function ? # PCI-PCI bridges
202 # XXX 'puc's aren't really bridges, but there's no better place for them here
203 #puc* at pci? dev ? function ? # PCI "universal" comm. cards
204
205 # Cryptographic Devices
206
207 # PCI cryptographic devices
208 #hifn* at pci? dev ? function ? # Hifn 7755/7811/795x
209 #ubsec* at pci? dev ? function ? # Broadcom 5501/5601/580x/582x
210
211
212 # PCI serial interfaces
213 #com* at puc? port ? # 16x50s on "universal" comm boards
214 #cy* at pci? dev ? function ? # Cyclades Cyclom-Y serial boards
215
216 # PCI parallel printer interfaces
217 #lpt* at puc? port ? # || ports on "universal" comm boards
218
219 # PCI SCSI Controllers and Buses
220 #adv* at pci? dev ? function ? # AdvanSys 1200[A,B], ULTRA SCSI
221 #scsibus* at adv?
222 #adw* at pci? dev ? function ? # AdvanSys 9xxUW SCSI
223 #scsibus* at adw?
224 #ahc* at pci? dev ? function ? # Adaptec [23]94x, aic78x0 SCSI controllers
225 #scsibus* at ahc?
226 #bha* at pci? dev ? function ? # BusLogic 9xx SCSI
227 #scsibus* at bha?
228 #iha* at pci? dev ? function ? # Initio INIC-940/950 SCSI
229 #scsibus* at iha?
230 #isp* at pci? dev ? function ? # Qlogic ISP 10x0 SCSI controllers
231 #scsibus* at isp?
232 #pcscp* at pci? dev ? function ? # AMD 53c974 PCscsi-PCI SCSI
233 #scsibus* at pcscp?
234 #siop* at pci? dev ? function ? # NCR 53c8xx SCSI
235 #scsibus* at siop?
236 #esiop* at pci? dev ? function ? # NCR 53c875 SCSI and newer
237 #scsibus* at esiop?
238
239 # SCSI devices
240 #sd* at scsibus? target ? lun ? # SCSI disk drives
241 #st* at scsibus? target ? lun ? # SCSI tape drives
242 #cd* at scsibus? target ? lun ? # SCSI CD-ROM drives
243 #ch* at scsibus? target ? lun ? # SCSI auto-changers
244 #uk* at scsibus? target ? lun ? # SCSI unknown device
245 #ss* at scsibus? target ? lun ? # SCSI scanner
246
247 # PCI IDE Controllers and Devices
248 # PCI IDE controllers - see pciide(4) for supported hardware.
249 # The 0x0001 flag force the driver to use DMA, even if the driver doesn't know
250 # how to set up DMA modes for this chip. This may work, or may cause
251 # a machine hang with some controllers.
252 #pciide* at pci? dev ? function ? flags 0x0000 # GENERIC pciide driver
253 #acardide* at pci? dev ? function ? # Acard IDE controllers
254 aceride* at pci? dev ? function ? # Acer Lab IDE controllers
255 #artsata* at pci? dev ? function ? # Intel i31244 SATA controller
256 #cmdide* at pci? dev ? function ? # CMD tech IDE controllers
257 #cypide* at pci? dev ? function ? # Cypress IDE controllers
258 #hptide* at pci? dev ? function ? # Triones/HighPoint IDE controllers
259 #optiide* at pci? dev ? function ? # Opti IDE controllers
260 #pdcide* at pci? dev ? function ? # Promise IDE controllers
261 #pdcsata* at pci? dev ? function ? # Promise SATA150 controllers
262 #satalink* at pci? dev ? function ? # SiI SATALink controllers
263 #siside* at pci? dev ? function ? # SiS IDE controllers
264 #slide* at pci? dev ? function ? # Symphony Labs IDE controllers
265 #viaide* at pci? dev ? function ? # VIA/AMD/Nvidia IDE controllers
266
267 # ATA (IDE) bus support
268 atabus* at ata?
269
270 # IDE drives
271 # Flags are used only with controllers that support DMA operations
272 # and mode settings (e.g. some pciide controllers)
273 # The lowest order four bits (rightmost digit) of the flags define the PIO
274 # mode to use, the next set of four bits the DMA mode and the third set the
275 # UltraDMA mode. For each set of four bits, the 3 lower bits define the mode
276 # to use, and the last bit must be 1 for this setting to be used.
277 # For DMA and UDMA, 0xf (1111) means 'disable'.
278 # 0x0fac means 'use PIO mode 4, DMA mode 2, disable UltraDMA'.
279 # (0xc=1100, 0xa=1010, 0xf=1111)
280 # 0x0000 means "use whatever the drive claims to support".
281 wd* at atabus? drive ? flags 0x0000 # the drives themselves
282
283 # ATAPI bus support
284 atapibus* at atapi?
285
286 # ATAPI devices
287 cd* at atapibus? drive ? flags 0x0000 # ATAPI CD-ROM drives
288 sd* at atapibus? drive ? flags 0x0000 # ATAPI disk drives
289 uk* at atapibus? drive ? flags 0x0000 # ATAPI unknown
290
291 # PCI network interfaces
292 #en* at pci? dev ? function ? # ENI/Adaptec ATM
293 ep* at pci? dev ? function ? # 3C590 ethernet cards
294 ex* at pci? dev ? function ? # 3Com 90x[B]
295 epic* at pci? dev ? function ? # SMC EPIC/100 Ethernet
296 #esh* at pci? dev ? function ? # Essential HIPPI card
297 #fpa* at pci? dev ? function ? # DEC DEFPA FDDI
298 fxp* at pci? dev ? function ? # Intel EtherExpress PRO 10+/100B
299 #le* at pci? dev ? function ? # PCnet-PCI Ethernet
300 ne* at pci? dev ? function ? # NE2000 compat ethernet
301 #ntwoc* at pci? dev ? function ? # Riscom/N2 PCI Sync Serial
302 sip* at pci? dev ? function ? # SiS 900 Ethernet
303 #tl* at pci? dev ? function ? # ThunderLAN-based Ethernet
304 tlp* at pci? dev ? function ? # DECchip 21x4x and clones
305 vr* at pci? dev ? function ? # VIA Rhine Fast Ethernet
306 #lmc* at pci? dev ? function ? # Lan Media Corp SSI/HSSI/DS3
307 rtk* at pci? dev ? function ? # Realtek 8129/8139
308
309 # MII/PHY support
310 acphy* at mii? phy ? # DAltima AC101 and AMD Am79c874 PHYs
311 amhphy* at mii? phy ? # AMD 79c901 Ethernet PHYs
312 bmtphy* at mii? phy ? # Broadcom BCM5201 and BCM5202 PHYs
313 brgphy* at mii? phy ? # Broadcom BCM5400-family PHYs
314 dmphy* at mii? phy ? # Davicom DM9101 PHYs
315 exphy* at mii? phy ? # 3Com internal PHYs
316 glxtphy* at mii? phy ? # Level One LXT-1000 PHYs
317 gphyter* at mii? phy ? # NS83861 Gig-E PHY
318 icsphy* at mii? phy ? # Integrated Circuit Systems ICS189x
319 inphy* at mii? phy ? # Intel 82555 PHYs
320 iophy* at mii? phy ? # Intel 82553 PHYs
321 lxtphy* at mii? phy ? # Level One LXT-970 PHYs
322 makphy* at mii? phy ? # Marvell Semiconductor 88E1000 PHYs
323 nsphy* at mii? phy ? # NS83840 PHYs
324 nsphyter* at mii? phy ? # NS83843 PHYs
325 pnaphy* at mii? phy ? # generic HomePNA PHYs
326 qsphy* at mii? phy ? # Quality Semiconductor QS6612 PHYs
327 sqphy* at mii? phy ? # Seeq 80220/80221/80223 PHYs
328 tlphy* at mii? phy ? # ThunderLAN PHYs
329 tqphy* at mii? phy ? # TDK Semiconductor PHYs
330 ukphy* at mii? phy ? # generic unknown PHYs
331 urlphy* at mii? phy ? # Realtek RTL8150L internal PHYs
332
333 # USB Controller and Devices
334
335 # PCI USB controllers
336 ohci* at pci? # Open Host Controller
337
338 # USB bus support
339 usb* at ohci?
340
341 # USB Hubs
342 uhub* at usb?
343 uhub* at uhub? port ?
344
345 # USB HID device
346 uhidev* at uhub? port ? configuration ? interface ?
347
348 # USB Mice
349 ums* at uhidev? reportid ?
350 wsmouse* at ums?
351
352 # USB Keyboards
353 ukbd* at uhidev? reportid ?
354 wskbd* at ukbd? console ?
355
356 # USB serial adapter
357 ucycom* at uhidev? reportid ?
358
359 # USB Generic HID devices
360 uhid* at uhidev? reportid ?
361
362 # USB Printer
363 ulpt* at uhub? port ? configuration ? interface ?
364
365 # USB Modem
366 umodem* at uhub? port ? configuration ?
367 ucom* at umodem?
368
369 # USB Mass Storage
370 umass* at uhub? port ? configuration ? interface ?
371 scsibus* at umass? channel ?
372
373 # USB audio
374 uaudio* at uhub? port ? configuration ?
375 audio* at uaudio?
376
377 # USB MIDI
378 umidi* at uhub? port ? configuration ?
379 midi* at umidi?
380
381 # USB Ethernet adapters
382 aue* at uhub? port ? # ADMtek AN986 Pegasus based adapters
383 axe* at uhub? port ? # ASIX AX88172 based adapters
384 cue* at uhub? port ? # CATC USB-EL1201A based adapters
385 kue* at uhub? port ? # Kawasaki LSI KL5KUSB101B based adapters
386 url* at uhub? port ? # Realtek RTL8150L based adapters
387 udav* at uhub? port ? # Davicom DM9601 based adapters
388
389 # Prolific PL2301/PL2302 host-to-host adapter
390 upl* at uhub? port ?
391
392 # Serial adapters
393 # FTDI FT8U100AX serial adapter
394 uftdi* at uhub? port ?
395 ucom* at uftdi? portno ?
396
397 uplcom* at uhub? port ? # I/O DATA USB-RSAQ2 serial adapter
398 ucom* at uplcom? portno ?
399
400 umct* at uhub? port ? # MCT USB-RS232 serial adapter
401 ucom* at umct? portno ?
402
403 # Diamond Multimedia Rio 500
404 urio* at uhub? port ?
405
406 # USB Handspring Visor
407 uvisor* at uhub? port ?
408 ucom* at uvisor?
409
410 # Kyocera AIR-EDGE PHONE
411 ukyopon* at uhub? port ?
412 ucom* at ukyopon? portno ?
413
414 # USB scanners
415 #uscanner* at uhub? port ?
416
417 # USB scanners that use SCSI emulation, e.g., HP5300
418 usscanner* at uhub? port ?
419 scsibus* at usscanner? channel ?
420
421 # Y@P firmware loader
422 uyap* at uhub? port ?
423
424 # USB Generic driver
425 ugen* at uhub? port ?
426
427 # Audio Devices
428
429 # PCI audio devices
430 #eap* at pci? dev ? function ? # Ensoniq AudioPCI
431 #sv* at pci? dev ? function ? # S3 SonicVibes
432
433 # Audio support
434 #audio* at eap?
435 #audio* at sv?
436
437 vga* at pci?
438 wsdisplay* at vga? console ?
439
440 # ISA bus bridging
441
442 pcib* at pci? dev ? function ? # PCI-ISA bridge
443 isa* at pcib? # ISA bus
444
445 # ISA Plug-and-Play bus support
446 isapnp0 at isa?
447
448 # wscons
449 pckbc0 at isa? # pc keyboard controller
450 pckbd* at pckbc? # PC keyboard
451 pms* at pckbc? # PS/2 mouse for wsmouse
452 wskbd* at pckbd? console ?
453 wsmouse* at pms?
454
455 attimer0 at isa?
456 pcppi0 at isa?
457 sysbeep0 at pcppi?
458
459 # ISA Plug-and-Play serial interfaces
460 com* at isapnp? # Modems and serial boards
461
462 # ISA Plug-and-Play network interfaces
463 ep* at isapnp? # 3Com 3c509 Ethernet
464 fmv* at isapnp? # Fujitsu FMV-183
465 ne* at isapnp? # NE2000-compatible
466
467 # ISA serial interfaces
468 com0 at isa? port 0x3f8 irq 4 # Standard PC serial ports
469 com1 at isa? port 0x2f8 irq 3
470 #com2 at isa? port 0x3e8 irq 9
471 #com3 at isa? port 0x2e8 irq 10
472
473 # ISA parallel printer interfaces
474 lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports
475 lpt1 at isa? port 0x278 irq 5
476 #lpt2 at isa? port 0x3bc
477
478 # ISA floppy
479 #fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers
480 #fdc1 at isa? port 0x370 irq ? drq ?
481 #fd* at fdc? drive ? # the drives themselves
482
483 # ISA network interface
484 #ne0 at isa? port 0x280 irq 9
485 #ne1 at isa? port 0x300 irq 10
486 #ep* at isa? port ? irq ?
487
488 # The spkr driver provides a simple tone interface to the built in speaker.
489 spkr* at pcppi? # PC speaker
490 spkr* at audio? # PC speaker (synthesized)
491
492 ds1687rtc0 at isa? port 0x72 # Dallas 1687 RTC
493
494 # ISA Plug-and-Play audio devices
495 ess* at isapnp? # ESS Tech ES1887, ES1888, ES888 audio
496 sb* at isapnp? # SoundBlaster-compatible audio
497 wss* at isapnp? # Windows Sound System
498
499 # OPL[23] FM syntheziers
500 opl* at ess?
501 opl* at sb?
502
503 # Audio support
504 audio* at ess?
505 audio* at sb?
506 audio* at wss?
507
508 # MPU 401 UARTs
509 #mpu* at sb?
510
511 # MIDI support
512 midi* at pcppi? # MIDI interface to the PC speaker
513 midi* at sb? # SB MPU401 port
514 midi* at opl? # OPL FM synth
515 #midi* at mpu? # MPU 401
516
517 # Joysticks
518
519 # ISA Plug-and-Play joysticks
520 joy* at isapnp? # Game ports (usually on audio cards)
521
522 # ISA joysticks. Probe is a little strange; add only if you have one.
523 #joy0 at isa? port 0x201
524
525 # Pseudo-Devices
526
527 #pseudo-device crypto # /dev/crypto device
528 #pseudo-device swcrypto # software crypto implementation
529
530 # disk/mass storage pseudo-devices
531 pseudo-device ccd # concatenated/striped disk devices
532 pseudo-device fss # file system snapshot device
533 #pseudo-device cgd # cryptographic disk devices
534 pseudo-device md # memory disk device (ramdisk)
535 pseudo-device vnd # disk-like interface to files
536 #options VND_COMPRESSION # compressed vnd(4)
537 pseudo-device putter # for puffs and pud
538
539 # network pseudo-devices
540 pseudo-device bpfilter # Berkeley packet filter
541 #pseudo-device carp # Common Address Redundancy Protocol
542 #pseudo-device ipfilter # IP filter (firewall) and NAT
543 pseudo-device loop # network loopback
544 pseudo-device ppp # Point-to-Point Protocol
545 pseudo-device pppoe # PPP over Ethernet (RFC 2516)
546 #pseudo-device sl # Serial Line IP
547 #pseudo-device strip # Starmode Radio IP (Metricom)
548 pseudo-device tun # network tunneling over tty
549 pseudo-device tap # virtual Ethernet
550 pseudo-device gre # generic L3 over IP tunnel
551 pseudo-device gif # IPv[46] over IPv[46] tunnel (RFC1933)
552 #pseudo-device faith # IPv[46] tcp relay translation i/f
553 pseudo-device stf # 6to4 IPv6 over IPv4 encapsulation
554 pseudo-device vlan # IEEE 802.1q encapsulation
555 pseudo-device bridge # simple inter-network bridging
556 #options BRIDGE_IPF # bridge uses IP/IPv6 pfil hooks too
557 pseudo-device agr # IEEE 802.3ad link aggregation
558
559 #
560 # accept filters
561 pseudo-device accf_data # "dataready" accept filter
562 pseudo-device accf_http # "httpready" accept filter
563
564 # miscellaneous pseudo-devices
565 pseudo-device pty # pseudo-terminals
566 pseudo-device sequencer # MIDI sequencer
567 #options RND_COM # use "com" randomness as well (BROKEN)
568 pseudo-device clockctl # user control of clock subsystem
569
570 # a pseudo device needed for Coda # also needs CODA (above)
571 #pseudo-device vcoda # coda minicache <-> venus comm.
572
573 # mouse & keyboard multiplexor pseudo-devices
574 pseudo-device wsmux
575 pseudo-device wsfont
576 pseudo-device ksyms # /dev/ksyms
577 #pseudo-device pf # PF packet filter
578 #pseudo-device pflog # PF log if
579
580 # Veriexec
581 #
582 # a pseudo device needed for veriexec
583 #pseudo-device veriexec
584 #
585 # Uncomment the fingerprint methods below that are desired. Note that
586 # removing fingerprint methods will have almost no impact on the kernel
587 # code size.
588 #
589 #options VERIFIED_EXEC_FP_SHA256
590 #options VERIFIED_EXEC_FP_SHA384
591 #options VERIFIED_EXEC_FP_SHA512
592