History log of /seL4-refos-master/libs/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h
Revision Date Author Comments
# 6ef6d271 10-Apr-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

libsel4utils: Missing vspace include

Adds a missing include from when the vspace code was changed to include arch includes
instead of directly including sel4_arch ones
# 78c439ee 10-Apr-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

SELFOUR-1283: Include arch vspace.h from top level