XEN revision 278424
1# 2# XEN -- Kernel configuration for i386 XEN DomU 3# 4# $FreeBSD: stable/10/sys/i386/conf/XEN 278424 2015-02-08 23:09:01Z marius $ 5 6cpu I686_CPU 7ident XEN 8 9makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 10 11# The following drivers don't build with PAE or XEN enabled. 12makeoptions WITHOUT_MODULES="ctl cxgb dpt drm drm2 hptmv ida rdma" 13 14# The following drivers don't work with PAE enabled. 15makeoptions WITHOUT_MODULES+="asr ncr pst" 16 17options SCHED_ULE # ULE scheduler 18options PREEMPTION # Enable kernel thread preemption 19 20options INET # InterNETworking 21options INET6 # IPv6 communications protocols 22options SCTP # Stream Control Transmission Protocol 23options FFS # Berkeley Fast Filesystem 24options SOFTUPDATES # Enable FFS soft updates support 25options UFS_ACL # Support for access control lists 26options UFS_DIRHASH # Improve performance on big directories 27options UFS_GJOURNAL # Enable gjournal-based UFS journaling 28options NFSCL # New Network Filesystem Client 29options NFSD # New Network Filesystem Server 30options NFSLOCKD # Network Lock Manager 31options NFS_ROOT # NFS usable as /, requires NFSCL 32options MSDOSFS # MSDOS Filesystem 33options CD9660 # ISO 9660 Filesystem 34options PROCFS # Process filesystem (requires PSEUDOFS) 35options PSEUDOFS # Pseudo-filesystem framework 36options GEOM_PART_GPT # GUID Partition Tables. 37options GEOM_LABEL # Provides labelization 38options COMPAT_FREEBSD4 # Compatible with FreeBSD4 39options COMPAT_FREEBSD5 # Compatible with FreeBSD5 40options COMPAT_FREEBSD6 # Compatible with FreeBSD6 41options COMPAT_FREEBSD7 # Compatible with FreeBSD7 42options KTRACE # ktrace(1) support 43options STACK # stack(9) support 44options SYSVSHM # SYSV-style shared memory 45options SYSVMSG # SYSV-style message queues 46options SYSVSEM # SYSV-style semaphores 47options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions 48options KBD_INSTALL_CDEV # install a CDEV entry in /dev 49options AUDIT # Security event auditing 50 51# Debugging for use in -current 52options KDB # Enable kernel debugger support. 53options DDB # Support DDB. 54options GDB # Support remote GDB. 55options DEADLKRES # Enable the deadlock resolver 56options INVARIANTS # Enable calls of extra sanity checking 57options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 58options WITNESS # Enable checks to detect deadlocks and cycles 59options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 60 61options PAE 62nooption NATIVE 63option XEN 64nodevice atpic 65nodevice isa 66options MCLSHIFT=12 67 68# To make an SMP kernel, the next two lines are needed 69options SMP # Symmetric MultiProcessor Kernel 70device apic # I/O APIC 71 72#device atkbdc # AT keyboard controller 73#device atkbd # AT keyboard 74device psm # PS/2 mouse 75device pci 76 77#device kbdmux # keyboard multiplexer 78 79# Pseudo devices. 80device loop # Network loopback 81device random # Entropy device 82device ether # Ethernet support 83device tun # Packet tunnel. 84device md # Memory "disks" 85device gif # IPv6 and IPv4 tunneling 86device faith # IPv6-to-IPv4 relaying (translation) 87 88# Wireless cards 89options IEEE80211_SUPPORT_MESH 90options AH_SUPPORT_AR5416 91 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. 95device bpf # Berkeley packet filter 96