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 | |
| parent | 0194366dbf4a823207cc3c42111dbb820dff0f09 (diff) | |
| parent | 9612657535ed86a5eb68a2d6fc0ea8ba0ff6ea75 (diff) | |
Merge pull request #796 from makoehr/patch-1
Update nios2.in
Diffstat (limited to 'config')
| -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 ## |