Use the new gic option. While here remove extra whitespace from the ned of

a few lines.
This commit is contained in:
Andrew Turner 2015-05-10 09:37:54 +00:00
parent 2c3065da9c
commit 1486e4bb63
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=282717
2 changed files with 6 additions and 4 deletions

View File

@ -43,6 +43,9 @@ options INVARIANT_SUPPORT # Extra sanity checks of internal structures, require
#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
#options DIAGNOSTIC
# Interrupt controller
device gic
device bpf
device loop
device ether
@ -52,9 +55,9 @@ device snp
device pl011
device psci
device virtio
device virtio_mmio
device virtio_blk
device virtio
device virtio_mmio
device virtio_blk
device vtnet
device md

View File

@ -10,7 +10,6 @@ kern/kern_clocksource.c standard
#
# Standard qemu virt devices and support.
#
arm/arm/gic.c standard
arm/arm/generic_timer.c standard
arm/qemu/virt_common.c standard
arm/qemu/virt_machdep.c standard