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 :-( thanks -- PMM