Takumi Jin ruth561

Popular repositories Loading

1. DBM Implementation Verified by Creusot

   Rust 5 1

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

   2

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

   C 2

4. This repository contains a minimal implementation of an scx scheduler.

   Rust 1

5. SCX callback analyzer using Perfetto.

   C 1