armv8: EFI loader now builds fresh kernel page tables
authorDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Mon, 17 Jun 2019 08:37:01 +0000 (10:37 +0200)
committerDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Fri, 27 Sep 2019 07:55:33 +0000 (09:55 +0200)
commit84e30917efb6545603d1c2cb77b8e46bec38b17e
treeaf6649c1bebe501ce04ce908ad46a07c4425d3f8
parent081124b8de6e4c79726afe066b3279e24f4dd88a
armv8: EFI loader now builds fresh kernel page tables

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
tools/armv8_bootimage/efi_loader.c
tools/armv8_bootimage/vm.h [new file with mode: 0644]