On 04/24/2018 06:03 AM, Alex Bennée wrote: > As support was merged into the mainline kernel at 4.15 it is unlikely > 3.8.0 is the correct value. Indeed when I testing binaries created by > the current Debian SID compiler the tests failed with: > > FATAL: kernel too old > > Signed-off-by: Alex Bennée <alex.ben...@linaro.org> > --- > linux-user/riscv/target_syscall.h | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-)
Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~