sys/mips/conf/CI20

   1 # CI20 -- Kernel config for Creator CI20 board
   2 #
   3 # $FreeBSD$
   4
   5 #NO_UNIVERSE
   6
   7 # Note: SMP on 32-bit mips is no longer supported, which affects this config file.
   8
   9 include         "JZ4780"
  10 ident           CI20
  11
  12 options         FDT_DTB_STATIC
  13 makeoptions     FDT_DTS_FILE=ingenic/ci20.dts
  14
  15 #options        KTR
  16 #options        KTR_CPUMASK=0x3
  17 #options        KTR_MASK=(KTR_GEN)
  18 #options        KTR_COMPILE=(KTR_GEN)
  19 #options        KTR_VERBOSE
  20
  21 # Uncomment for NFS root
  22 #options        BOOTP
  23 #options        BOOTP_NFSROOT
  24 #options        BOOTP_NFSV3
  25 #options        BOOTP_WIRED_TO=dme0
  26 #options        BOOTP_COMPAT
  27
  28 options         ROOTDEVNAME=\"ufs:mmcsd0\"
  29
  30 device          sound
  31 device          xdma
  32
  33 makeoptions     TRAMPLOADADDR=0x88000000
  34
  35 #options        VERBOSE_SYSINIT
  36 options         PRINTF_BUFR_SIZE=256