History log of /seL4-l4v-10.1.1/l4v/spec/design/skel/Hypervisor_H.thy
Revision Date Author Comments
# 6b9912c4 16-Oct-2017 Pang Luo <Pang.Luo@data61.csiro.au>

manually adjust non-obvious cases of tab to space replacement
# 184d6b70 09-Oct-2017 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

remove most tab characters
# 98832f8c 24-Jul-2016 Miki Tanaka <miki.tanaka@nicta.com.au>

execspec: add hypervisor, HypFaultType in skeletons (ARM), generated files