michaelh/zephyr
1
0
Fork 0
Code Releases Activity

x86: generate runtime 64-bit page tables

Browse source 
- Bring in CONFIG_X86_MMU and some related defines to
  common X86 Kconfig
- Don't set ARCH_HAS_USERSPACE for intel64 yet when
  X86_MMU is enabled
- Uplevel x86_mmu.c to common code
- Add logic for handling PML4 table and generating PDPTs
- move z_x86_paging_init() to common kernel_arch_func.h
- Uplevel inclusion of mmustructs.h to common x86 arch.h,
  both need it for memory domain defines

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2019-10-10 13:05:43 -07:00 • committed by Andrew Boie
commit f6e82ea1bd
10 changed files with 398 additions and 142 deletions
Download patch file Download diff file Expand all files Collapse all files

3
arch/x86/include/ia32/kernel_arch_func.h
View file

@ -23,9 +23,6 @@ extern "C" {
#define STACK_ROUND_UP(x) ROUND_UP(x, STACK_ALIGN_SIZE)
#define STACK_ROUND_DOWN(x) ROUND_DOWN(x, STACK_ALIGN_SIZE)
/* Create all page tables with boot configuration and enable paging */
void z_x86_paging_init(void);
static inline void z_arch_kernel_init(void)
{
/* No-op on this arch */