sys/i386/conf/XEN

   1 #
   2 # XEN -- Kernel configuration for i386 XEN DomU
   3 #
   4 # $FreeBSD$
   5
   6 cpu             I686_CPU
   7 ident           XEN
   8
   9 makeoptions     DEBUG=-g                # Build kernel with gdb(1) debug symbols
  10
  11 # The following drivers don't build with PAE or XEN enabled.
  12 makeoptions     WITHOUT_MODULES="ctl dpt drm drm2 hptmv ida"
  13
  14 # The following drivers don't work with PAE enabled.
  15 makeoptions     WITHOUT_MODULES+="ncr pst"
  16
  17 options         SCHED_ULE               # ULE scheduler
  18 options         PREEMPTION              # Enable kernel thread preemption
  19
  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                   # Network Filesystem Client
  29 options         NFSD                    # 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         COMPAT_FREEBSD9         # Compatible with FreeBSD9
  43 options         COMPAT_FREEBSD10        # Compatible with FreeBSD10
  44 options         KTRACE                  # ktrace(1) support
  45 options         STACK                   # stack(9) support
  46 options         SYSVSHM                 # SYSV-style shared memory
  47 options         SYSVMSG                 # SYSV-style message queues
  48 options         SYSVSEM                 # SYSV-style semaphores
  49 options         _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions
  50 options         KBD_INSTALL_CDEV        # install a CDEV entry in /dev
  51 options         AUDIT                   # Security event auditing
  52
  53 # Debugging for use in -current
  54 options         KDB                     # Enable kernel debugger support.
  55 options         DDB                     # Support DDB.
  56 options         GDB                     # Support remote GDB.
  57 options         DEADLKRES               # Enable the deadlock resolver
  58 options         INVARIANTS              # Enable calls of extra sanity checking
  59 options         INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
  60 options         WITNESS                 # Enable checks to detect deadlocks and cycles
  61 options         WITNESS_SKIPSPIN        # Don't run witness on spinlocks for speed
  62
  63 options         PAE
  64 nooption        NATIVE
  65 option          XEN
  66 nodevice        atpic
  67 nodevice        isa
  68 options         MCLSHIFT=12
  69
  70 # To make an SMP kernel, the next two lines are needed
  71 options         SMP                     # Symmetric MultiProcessor Kernel
  72 device          apic                    # I/O APIC
  73
  74 #device         atkbdc          # AT keyboard controller
  75 #device         atkbd           # AT keyboard
  76 device          psm             # PS/2 mouse
  77 device          pci
  78
  79 #device         kbdmux          # keyboard multiplexer
  80
  81 # Pseudo devices.
  82 device          loop            # Network loopback
  83 device          random          # Entropy device
  84 device          ether           # Ethernet support
  85 device          tun             # Packet tunnel.
  86 device          md              # Memory "disks"
  87 device          gif             # IPv6 and IPv4 tunneling
  88
  89 # Wireless cards
  90 options         IEEE80211_SUPPORT_MESH
  91 options         AH_SUPPORT_AR5416
  92
  93 # The `bpf' device enables the Berkeley Packet Filter.
  94 # Be aware of the administrative consequences of enabling this!
  95 # Note that 'bpf' is required for DHCP.
  96 device          bpf             # Berkeley packet filter