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