040000 tree b009fa8f55022b4a1cb4353fe73405455e63b981	efi
040000 tree a89748f8158fa3942d647b8d6fbdc4a4235dc355	pcbios
040000 tree 921196a909d9052e9e9b8c50a1ba04f6a99ca31e	pxe
040000 tree 2adc0b104f84735cbd0346dafd4ea6e45d96db44	syslinux
040000 tree 696eb049693de74800180e92ccaf39576e0a1ce2	vmware