diff options
Diffstat (limited to 'sys/arm/conf/EXYNOS5.common')
-rw-r--r-- | sys/arm/conf/EXYNOS5.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/arm/conf/EXYNOS5.common b/sys/arm/conf/EXYNOS5.common index 770a690..c997916 100644 --- a/sys/arm/conf/EXYNOS5.common +++ b/sys/arm/conf/EXYNOS5.common @@ -87,7 +87,7 @@ device dwmmc # Interrupt controller device gic -options ARM_INTRNG +options INTRNG # ARM Generic Timer device generic_timer |