diff options
Diffstat (limited to 'extra')
| -rw-r--r-- | extra/Configs/Config.arc | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/extra/Configs/Config.arc b/extra/Configs/Config.arc index c5406c457..0c0bc71ce 100644 --- a/extra/Configs/Config.arc +++ b/extra/Configs/Config.arc @@ -44,20 +44,3 @@ 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 |