Sign in
Join now
kernel
tjh.dev
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
(I'm so sorry!) Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
+3 more
kernel
os
linux
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
kernel
/
tools
/
verification
/
models
/
sched
8 files
at
master
Gabriele Monaco
·
rv: Convert the opid monitor to a hybrid automaton
·
7mo ago
2b406fdb
nrp.dot
rv: Add nrp and sssw per-task monitors
1y ago
opid.dot
rv: Convert the opid monitor to a hybrid automaton
7mo ago
sco.dot
rv: Add sco and tss per-cpu monitors
1y ago
scpd.dot
rv: Add scpd, snep and sncid per-cpu monitors
1y ago
snep.dot
rv: Add scpd, snep and sncid per-cpu monitors
1y ago
snroc.dot
rv: Add snroc per-task monitor
1y ago
sssw.dot
rv: Add nrp and sssw per-task monitors
1y ago
sts.dot
rv: Replace tss and sncid monitors with more complete sts
1y ago