[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/2] linux-user: Load a vdso for x86_64
From: |
Peter Maydell |
Subject: |
Re: [PATCH 0/2] linux-user: Load a vdso for x86_64 |
Date: |
Thu, 28 May 2020 11:08:25 +0100 |
On Tue, 19 May 2020 at 20:45, Richard Henderson
<richard.henderson@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