]> git.baikalelectronics.ru Git - kernel.git/commit
Merge branch 'bpf-rv64-jit'
authorDaniel Borkmann <daniel@iogearbox.net>
Wed, 6 May 2020 07:48:16 +0000 (09:48 +0200)
committerDaniel Borkmann <daniel@iogearbox.net>
Wed, 6 May 2020 07:48:43 +0000 (09:48 +0200)
commit4eacabc6741f278faa6bb95b029683d346f96487
treef1ca6237c59417e3626b2e1c583fb525683dd52e
parent023580bff17b9f50f018a64e162fdeafc45a4e76
parente7471baa3e0abcd8793b47974442577bc3fdf9da
Merge branch 'bpf-rv64-jit'

Luke Nelson says:

====================
This patch series introduces a set of optimizations to the BPF JIT
on RV64. The optimizations are related to the verifier zero-extension
optimization and BPF_JMP BPF_K.

We tested the optimizations on a QEMU riscv64 virt machine, using
lib/test_bpf and test_verifier, and formally verified their correctness
using Serval.
====================

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>