2 # XEN -- Kernel configuration for i386 XEN DomU
9 makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
11 # The following drivers don't build with PAE or XEN enabled.
12 makeoptions WITHOUT_MODULES="ctl cxgb dpt drm drm2 hptmv ida rdma"
14 # The following drivers don't work with PAE enabled.
15 makeoptions WITHOUT_MODULES+="asr ncr pst"
17 options SCHED_ULE # ULE scheduler
18 options PREEMPTION # Enable kernel thread preemption
20 options INET # InterNETworking
21 options INET6 # IPv6 communications protocols
22 options SCTP # Stream Control Transmission Protocol
23 options FFS # Berkeley Fast Filesystem
24 options SOFTUPDATES # Enable FFS soft updates support
25 options UFS_ACL # Support for access control lists
26 options UFS_DIRHASH # Improve performance on big directories
27 options UFS_GJOURNAL # Enable gjournal-based UFS journaling
28 options NFSCL # New Network Filesystem Client
29 options NFSD # New Network Filesystem Server
30 options NFSLOCKD # Network Lock Manager
31 options NFS_ROOT # NFS usable as /, requires NFSCL
32 options MSDOSFS # MSDOS Filesystem
33 options CD9660 # ISO 9660 Filesystem
34 options PROCFS # Process filesystem (requires PSEUDOFS)
35 options PSEUDOFS # Pseudo-filesystem framework
36 options GEOM_PART_GPT # GUID Partition Tables.
37 options GEOM_LABEL # Provides labelization
38 options COMPAT_FREEBSD4 # Compatible with FreeBSD4
39 options COMPAT_FREEBSD5 # Compatible with FreeBSD5
40 options COMPAT_FREEBSD6 # Compatible with FreeBSD6
41 options COMPAT_FREEBSD7 # Compatible with FreeBSD7
42 options KTRACE # ktrace(1) support
43 options STACK # stack(9) support
44 options SYSVSHM # SYSV-style shared memory
45 options SYSVMSG # SYSV-style message queues
46 options SYSVSEM # SYSV-style semaphores
47 options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions
48 options KBD_INSTALL_CDEV # install a CDEV entry in /dev
49 options AUDIT # Security event auditing
51 # Debugging for use in -current
52 options KDB # Enable kernel debugger support.
53 options DDB # Support DDB.
54 options GDB # Support remote GDB.
55 options DEADLKRES # Enable the deadlock resolver
56 options INVARIANTS # Enable calls of extra sanity checking
57 options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
58 options WITNESS # Enable checks to detect deadlocks and cycles
59 options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
68 # To make an SMP kernel, the next two lines are needed
69 options SMP # Symmetric MultiProcessor Kernel
70 device apic # I/O APIC
72 #device atkbdc # AT keyboard controller
73 #device atkbd # AT keyboard
74 device psm # PS/2 mouse
77 #device kbdmux # keyboard multiplexer
80 device loop # Network loopback
81 device random # Entropy device
82 device ether # Ethernet support
83 device tun # Packet tunnel.
84 device md # Memory "disks"
85 device gif # IPv6 and IPv4 tunneling
86 device faith # IPv6-to-IPv4 relaying (translation)
89 options IEEE80211_SUPPORT_MESH
90 options AH_SUPPORT_AR5416
92 # The `bpf' device enables the Berkeley Packet Filter.
93 # Be aware of the administrative consequences of enabling this!
94 # Note that 'bpf' is required for DHCP.
95 device bpf # Berkeley packet filter