sys/mips/conf/GXEMUL

   1 #
   2 # GXEMUL "oldtestmips" sample kernel configuration.
   3 #
   4 # $FreeBSD$
   5 #
   6
   7 ident           GXEMUL
   8
   9 machine         mips mips64
  10 cpu             CPU_MIPS4KC
  11
  12 options         HZ=100
  13
  14 makeoptions     ARCH_FLAGS="-march=mips64 -mabi=64"
  15
  16 makeoptions     KERNLOADADDR=0xffffffff80100000
  17
  18 include         "../gxemul/std.gxemul"
  19
  20 hints           "GXEMUL.hints"          #Default places to look for devices.
  21
  22 makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
  23
  24 makeoptions     MODULES_OVERRIDE=""
  25
  26 options         DDB
  27 options         KDB
  28
  29 # Make an SMP-capable kernel by default
  30 options         SMP                     # Symmetric MultiProcessor Kernel
  31
  32 options         SCHED_ULE
  33 options         INET                    # InterNETworking
  34 options         INET6                   # IPv6 communications protocols
  35 options         TCP_HHOOK               # hhook(9) framework for TCP
  36
  37 options         FFS                     #Berkeley Fast Filesystem
  38
  39 # Debugging for use in -current
  40 #options        DEADLKRES               #Enable the deadlock resolver
  41 options         INVARIANTS              #Enable calls of extra sanity checking
  42 options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  43 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
  44 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
  45
  46 options         ROOTDEVNAME=\"ufs:gxemul_disk0\"
  47
  48 device          gxemul_cons
  49 device          gxemul_disk
  50 device          gxemul_ether
  51
  52 # Pseudo devices.
  53 device          loop            # Network loopback
  54 device          random          # Entropy device
  55 device          ether           # Ethernet support
  56 device          tun             # Packet tunnel.
  57 device          md              # Memory "disks"
  58 device          gif             # IPv6 and IPv4 tunneling
  59
  60 # The `bpf' device enables the Berkeley Packet Filter.
  61 # Be aware of the administrative consequences of enabling this!
  62 # Note that 'bpf' is required for DHCP.
  63 device          bpf             # Berkeley packet filter