Add the gic to files.arm under "device gic" and use it with the

CUBIEBOARD2 config. This is common across a few SoCs so should be a common
option.
This commit is contained in:
Andrew Turner 2015-05-10 09:33:03 +00:00
parent 5357ace59e
commit e4ca149905
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=282715
3 changed files with 4 additions and 2 deletions

View File

@ -1,5 +1,3 @@
# $FreeBSD$
arm/arm/gic.c standard
arm/allwinner/a20/a20_mp.c optional smp

View File

@ -53,6 +53,9 @@ options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
# Boot device is 2nd slice on MMC/SD card
options ROOTDEVNAME=\"ufs:/dev/da0s2\"
# Interrupt controller
device gic
# MMC/SD/SDIO Card slot support
#device mmc # mmc/sd bus
#device mmcsd # mmc/sd flash cards

View File

@ -37,6 +37,7 @@ arm/arm/fiq.c standard
arm/arm/fiq_subr.S standard
arm/arm/fusu.S standard
arm/arm/gdb_machdep.c optional gdb
arm/arm/gic.c optional gic
arm/arm/identcpu.c standard
arm/arm/in_cksum.c optional inet | inet6
arm/arm/in_cksum_arm.S optional inet | inet6