diff options
Diffstat (limited to 'extra/Configs/Config.arc')
| -rw-r--r-- | extra/Configs/Config.arc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/extra/Configs/Config.arc b/extra/Configs/Config.arc index 0c0bc71ce..c5406c457 100644 --- a/extra/Configs/Config.arc +++ b/extra/Configs/Config.arc @@ -44,3 +44,20 @@ config CONFIG_ARC_PAGE_SIZE_4K bool "4KB" endchoice + +choice + prompt "MMU Page Size" + default CONFIG_ARC_PAGE_SIZE_8K + +config CONFIG_ARC_PAGE_SIZE_8K + bool "8KB" + help + Choose between 4k, 8k (default) or 16k + +config CONFIG_ARC_PAGE_SIZE_16K + bool "16KB" + +config CONFIG_ARC_PAGE_SIZE_4K + bool "4KB" + +endchoice |