040000 tree b009fa8f55022b4a1cb4353fe73405455e63b981	efi
040000 tree 47d64b5623c58448748f637bb65ea080f2a1d5aa	pcbios
040000 tree 003006e797ebe6c79e4398b3752dd4c367a90d05	pxe
040000 tree 88abeb776fed14f8240b2810171cc707bb4091e9	syslinux
040000 tree 696eb049693de74800180e92ccaf39576e0a1ce2	vmware