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