diff options
author | Alexey Neyman <stilor@att.net> | 2017-08-28 05:28:23 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-28 05:28:23 (GMT) |
commit | 893685e738c89fee62d8b17e597f92fb712c0411 (patch) | |
tree | 9653c01076cc69ffb46568ce9fec885a34546525 /config/arch | |
parent | 0194366dbf4a823207cc3c42111dbb820dff0f09 (diff) | |
parent | 9612657535ed86a5eb68a2d6fc0ea8ba0ff6ea75 (diff) |
Merge pull request #796 from makoehr/patch-1
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 ## |