040000 tree b009fa8f55022b4a1cb4353fe73405455e63b981	efi
040000 tree d2424f8fc279dec816b70ff48bc8db57482a7ca0	pcbios
040000 tree 7c7c086e74f8adf7440acc5c4831513ef59a3e43	pxe
040000 tree 6cdd40e53b46125908ddfb87d40b1a9c7b923e39	syslinux
040000 tree 696eb049693de74800180e92ccaf39576e0a1ce2	vmware