040000 tree cad720717429a06116cce284d07f70546745e09e	bofm
040000 tree aa613b45552ed61ca8f36c5314721c18feedb7ac	efi
040000 tree 21a9feeea9d3ea2b81da27dad8b2da44ce58eb17	hyperv
040000 tree 45d49323cd2a4fe32f645577326396a55ec3fa86	linux
040000 tree 338771eb247dfadbdce933295dddde9fba5be80e	smbios
040000 tree f64340605eacdef21839509ea320779c1b4c3391	xen