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 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                   # 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
  50
  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
  60
  61 options         PAE
  62 nooption        NATIVE
  63 option          XEN
  64 nodevice        atpic
  65 nodevice        isa
  66 options         MCLSHIFT=12
  67
  68 # To make an SMP kernel, the next two lines are needed
  69 options         SMP                     # Symmetric MultiProcessor Kernel
  70 device          apic                    # I/O APIC
  71
  72 #device         atkbdc          # AT keyboard controller
  73 #device         atkbd           # AT keyboard
  74 device          psm             # PS/2 mouse
  75 device          pci
  76
  77 #device         kbdmux          # keyboard multiplexer
  78
  79 # Pseudo devices.
  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)
  87
  88 # Wireless cards
  89 options         IEEE80211_SUPPORT_MESH
  90 options         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.
  95 device          bpf             # Berkeley packet filter