History log of /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/guest_boot_sel4arch.h
Revision Date Author Comments
# 745291ce 27-Nov-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert to SPDX license tags

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# b98007d2 13-Dec-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

libsel4vmmplatsupport: Clean up includes and cmake

Clean up CMakeLists.txt and make includes consistent with rest of seL4
libraries.