diff options
author | Etienne Carriere <etienne.carriere@linaro.org> | 2017-09-14 15:00:20 +0200 |
---|---|---|
committer | Jérôme Forissier <jerome.forissier@linaro.org> | 2017-09-14 10:09:15 -0500 |
commit | 6cfeadb91cb0c9a47a1c1689ea2773131e5b647d (patch) | |
tree | 09d46ae63054c28f8d4c4569d1f08df0a8333cfb /documentation | |
parent | f2f36ec180c524e095e273af6837140076dd0282 (diff) |
docs: update porting guidelines regarding pager support
ARM64 supports pager.
Prefer including core_mmu.h rather than core_memprot.h to
declare register_phys_mem() support.
Remove useless include of tee_pager.h.
Reported-by: Kevin Peng <kevinp@marvell.com>
Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>
Diffstat (limited to 'documentation')
-rw-r--r-- | documentation/porting_guidelines.md | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/documentation/porting_guidelines.md b/documentation/porting_guidelines.md index 978c48a0..434d3682 100644 --- a/documentation/porting_guidelines.md +++ b/documentation/porting_guidelines.md @@ -123,8 +123,7 @@ this (here we are excluding the necessary license header to save some space): #include <kernel/generic_boot.h> #include <kernel/panic.h> #include <kernel/pm_stubs.h> -#include <mm/core_memprot.h> -#include <mm/tee_pager.h> +#include <mm/core_mmu.h> #include <platform_config.h> #include <stdint.h> #include <tee/entry_fast.h> @@ -184,12 +183,6 @@ could look like this: /* Make stacks aligned to data cache line length */ #define STACK_ALIGNMENT 64 -#ifdef ARM64 -#ifdef CFG_WITH_PAGER -#error "Pager not supported for ARM64" -#endif -#endif /* ARM64 */ - /* 8250 UART */ #define CONSOLE_UART_BASE 0xcafebabe /* UART0 */ #define CONSOLE_BAUDRATE 115200 |