040000 tree b009fa8f55022b4a1cb4353fe73405455e63b981	efi
040000 tree 0b83cbe3dd9446a83fb38ce1f09214920f12c492	pcbios
040000 tree 003006e797ebe6c79e4398b3752dd4c367a90d05	pxe
040000 tree 6cdd40e53b46125908ddfb87d40b1a9c7b923e39	syslinux
040000 tree 696eb049693de74800180e92ccaf39576e0a1ce2	vmware