040000 tree cad720717429a06116cce284d07f70546745e09e	bofm
040000 tree a6af64b8a25b3ab864f925d7a317c6d0605b4f67	efi
040000 tree 21a9feeea9d3ea2b81da27dad8b2da44ce58eb17	hyperv
040000 tree d7f1788ea2424e6b97f09d9e89c376ee0b7c8754	linux
040000 tree 841f1f7f90e85e894aca492d391897c16e883919	smbios
040000 tree e2dc95bc9889eada920e0e4ff91aac1932fcee75	xen