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 9include "JZ4780" 10ident CI20 11 12options FDT_DTB_STATIC 13makeoptions 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 28options ROOTDEVNAME=\"ufs:mmcsd0\" 29 30device sound 31device xdma 32 33makeoptions TRAMPLOADADDR=0x88000000 34 35#options VERBOSE_SYSINIT 36options PRINTF_BUFR_SIZE=256 37