x86_64: addrenv support

[szafonimateusz-mi]

Summary

1. x86_64: add ELF support add arch_elf64.c for x86_64, ported from sim/x86 Signed-off-by: p-szafonimateusz [email protected]

2. arch/x86_64: add MMU interface add MMU api for x86_64 Signed-off-by: p-szafonimateusz [email protected]

3. arch/intel64: add support for MM_PGALLOC add support for MM_PGALLOC for x86_64 Signed-off-by: p-szafonimateusz [email protected]

4. arch/intel64/intel64_map_region.c: use MMU api to implement up_map_region use new MMU api to implement up_map_region(). The new implementation support maping over 0xffffffff but requires CONFIG_MM_PGALLOC=y Signed-off-by: p-szafonimateusz [email protected]

5. arch/x86_64: addrenv support Add addrenv support for x86_64. For now we support mapping on PT level, so PD, PDT and PML4 are static Signed-off-by: p-szafonimateusz [email protected]

Impact

preparation for kernel mode

Testing

examples/elf with CONFIG_ARCH_ADDRENV