diff options
| author | Andrew Turner <andrew@FreeBSD.org> | 2016-02-11 18:01:10 +0000 |
|---|---|---|
| committer | Andrew Turner <andrew@FreeBSD.org> | 2016-02-11 18:01:10 +0000 |
| commit | 77fc1120a72d2f25be8c0f17e61440a8aa58d3d2 (patch) | |
| tree | 9f71512cd97a0dcbeb8d03d6604a6264556ae26f /sys/arm/conf/ZEDBOARD | |
| parent | a982c4c7f5f7635683cb70577478397c38bef54b (diff) | |
| download | src-77fc1120a72d2f25be8c0f17e61440a8aa58d3d2.tar.gz src-77fc1120a72d2f25be8c0f17e61440a8aa58d3d2.zip | |
Enable ARM_INTRNG on all kernel configs where we use the Generic Interrupt
Controller.
Sponsored by: ABT Systems Ltd
Notes
Notes:
svn path=/head/; revision=295540
Diffstat (limited to 'sys/arm/conf/ZEDBOARD')
| -rw-r--r-- | sys/arm/conf/ZEDBOARD | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/arm/conf/ZEDBOARD b/sys/arm/conf/ZEDBOARD index 7fca9372a58e..41ec23a82ef5 100644 --- a/sys/arm/conf/ZEDBOARD +++ b/sys/arm/conf/ZEDBOARD @@ -52,6 +52,8 @@ options ROOTDEVNAME=\"ufs:mmcsd0s2a\" # Interrupt controller device gic +options ARM_INTRNG + # Cache controller device pl310 # PL310 L2 cache controller # ARM MPCore timer |