040000 tree b009fa8f55022b4a1cb4353fe73405455e63b981	efi
040000 tree a40642c97db2db470cb2b05d1fdec3c67c0ec094	pcbios
040000 tree d8a878ed1e44627e4f5eb769e2da553ed2de6b4b	pxe
040000 tree 4e73e650653f066ef3203b211c797601bcb1a8fd	syslinux
040000 tree 696eb049693de74800180e92ccaf39576e0a1ce2	vmware