tree d4a621850d867e8a5326c380a606348696e1ee30
parent dc4b8325fe3804771e9043d29aba6b37b939acec
author Kent McLeod <Kent.Mcleod@data61.csiro.au> 1576220631 +1100
committer Kent Mcleod <Kent.Mcleod@data61.csiro.au> 1576300622 +1100

Move libsel4vmm into libsel4vm

A new library within seL4_projects_libs called libsel4vm has been
created out of libsel4vmm and libsel4arm-vmm.

Additionally, a snapshot of this library can be found in the
sel4-deprecated repository where it will marked as deprecated.