projects / platform / kernel / linux-rpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 5447e8e 073ca6a)
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)
commita085a1eeea5ed4ae7aa0c19031449ade145110fc
treef1ca6237c59417e3626b2e1c583fb525683dd52etree | snapshot
parent5447e8e01e101ba19fe5b7551f02d37367156f6bcommit | diff
parent073ca6a0369e09c586a103e665f2dd67f1c71444commit | diff
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>
Domain: System / Kernel;