Replacing (vga)bios.bin source code with compiled binaries?

["Niklas K." <nickie12@gmx.net>]

Hello,
this may be a more general issue with editing source code and makefiles,
but as I'm not really a developer, I can't do it on my own and I thought
I'd ask you on this mailing list rather than on some general development
mailing list/forum:

I need to get modified hvmloader and vmxloader binaries that load a
modified BIOS binary. I think the easiest way to do this is to remove
some parts of the makefiles included in the Xen source code and add the
compiled binary to the source (what probably doesn't work: I don't know
if the bios.bin is directly compiled into the hvmloader/vmxloader
binaries or the compiled bios.bin is inserted into them).
Can you help me in doing this?

Thanks in advance,
Niklas K.