Le 28/05/2020 à 12:08, Peter Maydell a écrit : > On Tue, 19 May 2020 at 20:45, Richard Henderson > <richard.hender...@linaro.org> wrote: >> Makefile | 4 +- >> linux-user/elfload.c | 203 +++++++++++++++++++++++++++++++++++++- >> pc-bios/Makefile | 5 + >> pc-bios/vdso-linux-x64.S | 115 +++++++++++++++++++++ >> pc-bios/vdso-linux-x64.ld | 81 +++++++++++++++ >> pc-bios/vdso-linux-x64.so | Bin 0 -> 7500 bytes > > I'm not really a fan of binaries in source control :-(
Can't we see that as a firmware or a ROM? It's only 7,4 KB and needs a cross-compilation env to be rebuilt. Do you have another solution? If you don't like this I can remove the series. Let me know. Thanks, Laurent