diff options
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 |
