Sign in
Join now
kernel2
tjh.dev
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
kernel2
/
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