GitHub repository: maestro-os/kern-profile
Primary language: Rust
Description: Profiling tool for Rust kernel