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