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