diff options
| author | Daniel Borkmann <daniel@iogearbox.net> | 2020-05-06 09:48:16 +0200 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2020-05-06 09:48:43 +0200 |
| commit | a085a1eeea5ed4ae7aa0c19031449ade145110fc (patch) | |
| tree | f1ca6237c59417e3626b2e1c583fb525683dd52e /Documentation/filesystems/devpts.txt | |
| parent | 5447e8e01e101ba19fe5b7551f02d37367156f6b (diff) | |
| parent | 073ca6a0369e09c586a103e665f2dd67f1c71444 (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>
Diffstat (limited to 'Documentation/filesystems/devpts.txt')
0 files changed, 0 insertions, 0 deletions