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