040000 tree b009fa8f55022b4a1cb4353fe73405455e63b981	efi
040000 tree 8259a40ceb9bc438c99d32e216e1a63b1acfb156	pcbios
040000 tree 003006e797ebe6c79e4398b3752dd4c367a90d05	pxe
040000 tree 6cdd40e53b46125908ddfb87d40b1a9c7b923e39	syslinux
040000 tree 696eb049693de74800180e92ccaf39576e0a1ce2	vmware