diff options
| author |   makoehr <30856468+makoehr@users.noreply.github.com> | 2017-08-09 06:39:26 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2017-08-09 06:39:26 (GMT) |
| commit | 9612657535ed86a5eb68a2d6fc0ea8ba0ff6ea75 (patch) | |
| tree | b72757eb3d077fabfb4ec10743df52d8f4394113 /config/arch | |
| parent | bcaec4d80a1099a1039520cae47f11957809e217 (diff) | |
Update nios2.in
Diffstat (limited to 'config/arch')
| -rw-r--r-- | config/arch/nios2.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/arch/nios2.in b/config/arch/nios2.in index fb63e4b..e024102 100644 --- a/config/arch/nios2.in +++ b/config/arch/nios2.in @@ -2,6 +2,7 @@ ## select ARCH_SUPPORTS_32 ## select ARCH_DEFAULT_32 +## select ARCH_SUPPORTS_BOTH_MMU ## select ARCH_DEFAULT_LE ## select ARCH_SUPPORTS_WITH_ARCH ## |