Takumi Jin

Expert
@ruth561

VerifiedDBM. DBM Implementation Verified by Creusot

5

struct_ops-tutorial. A simple kernel module using struct_ops and a corresponding BPF program

2

scx-comment-patch. sched_extのカーネルコードにコメントを追加したパッチ

2

DAG-BPF. Rust

1

scx-analyzer. SCX callback analyzer using Perfetto.

1

scx-rs-tutorial. This repository contains a minimal implementation of an scx scheduler.

1
6
Apply