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/ARMADA38X | |
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/ARMADA38X')
-rw-r--r-- | sys/arm/conf/ARMADA38X | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/arm/conf/ARMADA38X b/sys/arm/conf/ARMADA38X index 03fdf30..ede1b74 100644 --- a/sys/arm/conf/ARMADA38X +++ b/sys/arm/conf/ARMADA38X @@ -62,6 +62,7 @@ device pci # Interrupt controllers device gic +options ARM_INTRNG # Timers device mpcore_timer |