040000 tree b009fa8f55022b4a1cb4353fe73405455e63b981	efi
040000 tree 059342e5bb50512a93c571cbbf9c80265069a3e0	pcbios
040000 tree 003006e797ebe6c79e4398b3752dd4c367a90d05	pxe
040000 tree 6cdd40e53b46125908ddfb87d40b1a9c7b923e39	syslinux
040000 tree 696eb049693de74800180e92ccaf39576e0a1ce2	vmware