100644 blob 641ec922017993ec1aaa75f19b08dcb76c2f49cf	00-INDEX
100644 blob a30035dd4c26a49d25db29f2f2f3aecd81e2b606	api.txt
100644 blob 3c65feb83010133de17382c4fe4f21d7b602ff16	cpuid.txt
040000 tree 5ff58372d3cc7a612837415a5603356546d1643b	devices
100644 blob 022198e389d7e6066b8101292199fa25bcde84e4	hypercalls.txt
100644 blob f8869410d40ce8ba4eac30d3193f28aedb8383a6	locking.txt
100644 blob 290894176142f452ba794eab9f0d739901516865	mmu.txt
100644 blob 6d470ae7b073a2fa13e2f28d741166cbc346e42f	msr.txt
100644 blob 8ed937de1163aeb50cfc4d52acdd08ee561921bd	nested-vmx.txt
100644 blob 4cd076febb0239452db01b8e127d6f810081efbb	ppc-pv.txt
100644 blob a850986ed684c7409ab616a55781c1adfddf70b0	review-checklist.txt
100644 blob df8946377cb65cf4175392099b9f1bea85d8d72e	timekeeping.txt