diff options
author | Jens Wiklander <jens.wiklander@linaro.org> | 2016-09-12 14:24:02 +0200 |
---|---|---|
committer | Jens Wiklander <jens.wiklander@linaro.org> | 2016-09-28 14:03:28 -0700 |
commit | a884c9357d014e610b46a2659663c92a42aa2bf0 (patch) | |
tree | 5f3f1cf1f233bb6b42a7abdf93b33b54ee76c2c4 /mk/config.mk | |
parent | f0f7c8a6d60431e7407d00d66ba37e5589b8ff4f (diff) |
core: add support for paging of user TAs
Enables support for paging of user TAs if CFG_PAGED_USER_TA is y
Acked-by: David Brown <david.brown@linaro.org>
Tested-by: Jerome Forissier <jerome.forissier@linaro.org> (HiKey)
Tested-by: Jens Wiklander <jens.wiklander@linaro.org> (QEMU 7)
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
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 |