> > > Or are you suggesting that perhaps the kernel should at boot time > > print the build-id (like it does the changset)? > > Perhaps, albeit to me that's a bit orthogonal to being able to find out > the build ID for a given binary.
I looked in the mkelf32 and it looks quite easy to make the resulting xen.gz have the .note section. But I am at lost for the EFI file. Could you suggest some ideas of what type of PE/COFF section it should be put in? Or good specs to consult? Thank you! _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel