tangled
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