040000 tree b009fa8f55022b4a1cb4353fe73405455e63b981	efi
040000 tree 8a699bc6cf7971bd58f8b75c4947bb78388fd335	pcbios
040000 tree e202b7f6e6a523f2207ff9d0ac161e81e4151abc	pxe
040000 tree 4e73e650653f066ef3203b211c797601bcb1a8fd	syslinux
040000 tree cda752e6ef9eeaeefead49ccf8a1425cda9567d3	vmware