# CI20 -- Kernel config for Creator CI20 board
#
# $FreeBSD$

#NO_UNIVERSE

# Note: SMP on 32-bit mips is no longer supported, which affects this config file.

include		"JZ4780"
ident		CI20

options 	FDT_DTB_STATIC
makeoptions	FDT_DTS_FILE=ingenic/ci20.dts

#options 	KTR
#options 	KTR_CPUMASK=0x3
#options 	KTR_MASK=(KTR_GEN)
#options 	KTR_COMPILE=(KTR_GEN)
#options 	KTR_VERBOSE

# Uncomment for NFS root
#options 	BOOTP
#options 	BOOTP_NFSROOT
#options 	BOOTP_NFSV3
#options 	BOOTP_WIRED_TO=dme0
#options 	BOOTP_COMPAT

options 	ROOTDEVNAME=\"ufs:mmcsd0\"

device		sound
device		xdma

makeoptions	TRAMPLOADADDR=0x88000000

#options 	VERBOSE_SYSINIT
options 	PRINTF_BUFR_SIZE=256