microbenchmarks: add kernel profiling option#610

Open

matthiasdiener wants to merge 2 commits into

devfrom

mdiener/microbenchmarks-kernel-profile

Commits on Jun 3, 2026

microbenchmarks: add kernel profiling option
matthiasdiener
committed

Commits on Jun 9, 2026

Merge remote-tracking branch 'origin/dev' into mdiener/microbenchmarks-kernel-profile
matthiasdiener
committed