diff options
| author | gjb <gjb@FreeBSD.org> | 2016-04-16 02:32:12 +0000 |
|---|---|---|
| committer | gjb <gjb@FreeBSD.org> | 2016-04-16 02:32:12 +0000 |
| commit | 6549ef7d128d37c0dfff87f6c1c189b42ed3e1ef (patch) | |
| tree | a8871301d693c6d33d43cd3171b1ee4783fec0e4 /sys/arm/conf/PANDABOARD | |
| parent | ae096a53a90aee9859587d48d5a0279567abb413 (diff) | |
| parent | 35691f7a6f04cec368d8636543bca596e870faf3 (diff) | |
| download | FreeBSD-src-6549ef7d128d37c0dfff87f6c1c189b42ed3e1ef.zip FreeBSD-src-6549ef7d128d37c0dfff87f6c1c189b42ed3e1ef.tar.gz | |
MFH
Sponsored by: The FreeBSD Foundation
Diffstat (limited to 'sys/arm/conf/PANDABOARD')
| -rw-r--r-- | sys/arm/conf/PANDABOARD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/arm/conf/PANDABOARD b/sys/arm/conf/PANDABOARD index 4eaa471..69a8252 100644 --- a/sys/arm/conf/PANDABOARD +++ b/sys/arm/conf/PANDABOARD @@ -60,7 +60,7 @@ options DDB # Enable the kernel debugger device fdt_pinctrl # Interrupt controller device gic -options ARM_INTRNG +options INTRNG # ARM MPCore timer device mpcore_timer |
