diff options
| author | andrew <andrew@FreeBSD.org> | 2016-02-11 18:01:10 +0000 |
|---|---|---|
| committer | andrew <andrew@FreeBSD.org> | 2016-02-11 18:01:10 +0000 |
| commit | 36b909cb08ad3a3b7ac2da13940c9fd7ec6a3ec9 (patch) | |
| tree | 9f71512cd97a0dcbeb8d03d6604a6264556ae26f /sys/arm/conf/VYBRID | |
| parent | 4f0a0f622190b3b4949f1c9fb5364aeb443b3ffc (diff) | |
| download | FreeBSD-src-36b909cb08ad3a3b7ac2da13940c9fd7ec6a3ec9.zip FreeBSD-src-36b909cb08ad3a3b7ac2da13940c9fd7ec6a3ec9.tar.gz | |
Enable ARM_INTRNG on all kernel configs where we use the Generic Interrupt
Controller.
Sponsored by: ABT Systems Ltd
Diffstat (limited to 'sys/arm/conf/VYBRID')
| -rw-r--r-- | sys/arm/conf/VYBRID | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/arm/conf/VYBRID b/sys/arm/conf/VYBRID index 0aa38ce..471b8d5 100644 --- a/sys/arm/conf/VYBRID +++ b/sys/arm/conf/VYBRID @@ -62,6 +62,8 @@ options NO_SWAPPING # Interrupt controller device gic +options ARM_INTRNG + # ARM MPCore timer device mpcore_timer |
