diff options
Diffstat (limited to 'sys/arm/conf/SOCKIT.common')
| -rw-r--r-- | sys/arm/conf/SOCKIT.common | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/arm/conf/SOCKIT.common b/sys/arm/conf/SOCKIT.common index 65be347..3365929 100644 --- a/sys/arm/conf/SOCKIT.common +++ b/sys/arm/conf/SOCKIT.common @@ -53,6 +53,8 @@ options INVARIANT_SUPPORT # Extra sanity checks of internal structures, require # Interrupt controller device gic +options ARM_INTRNG + # ARM MPCore timer device mpcore_timer |
