040000 tree 948aa13c40c14711a9112236a10a87746d2d1b54	bofm
040000 tree 6356f11cdeccfafc9f5995a66f6a28d55c87d4bc	efi
040000 tree 4632e4ef7dd081b2c5925050ba40bffb9095aa9b	hyperv
040000 tree bb694754e5a3e9cd074d3a8f70090dde557d7ee4	linux
040000 tree 3b781204d049fb7ac3b37cedd258941e528f9e3d	smbios
040000 tree dd385d9720bc8c115b178944fd66219806aecc9e	xen