2016-11-19 17:46:18 +00:00
|
|
|
# CI20 -- Kernel config for Creator CI20 board
|
|
|
|
|
#
|
|
|
|
|
# $FreeBSD$
|
|
|
|
|
|
2016-11-21 15:35:56 +00:00
|
|
|
#NO_UNIVERSE
|
|
|
|
|
|
2016-11-19 17:46:18 +00:00
|
|
|
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\"
|
|
|
|
|
|
2016-12-20 18:27:53 +00:00
|
|
|
device sound
|
|
|
|
|
device xdma
|
|
|
|
|
|
2016-11-19 17:46:18 +00:00
|
|
|
makeoptions TRAMPLOADADDR=0x88000000
|
|
|
|
|
|
|
|
|
|
#options VERBOSE_SYSINIT
|
|
|
|
|
options PRINTF_BUFR_SIZE=256
|
