diff options
Diffstat (limited to 'mk/config.mk')
-rw-r--r-- | mk/config.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/mk/config.mk b/mk/config.mk index 1c42f89c..45cbaf6e 100644 --- a/mk/config.mk +++ b/mk/config.mk @@ -167,6 +167,12 @@ CFG_WITH_USER_TA ?= y # Use small pages to map user TAs CFG_SMALL_PAGE_USER_TA ?= y +# Enable paging, requires SRAM, can't be enabled by default +CFG_WITH_PAGER ?= n + +# Use the pager for user TAs +CFG_PAGED_USER_TA ?= $(CFG_WITH_PAGER) + # Enable support for detected undefined behavior in C # Uses a lot of memory, can't be enabled by default CFG_CORE_SANITIZE_UNDEFINED ?= n |