tjh.dev / kernel
Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux
fork atom
kernel / tools / verification / models / rtapp / pagefault.ltl
at v6.19 1 lines 39 B view raw
1RULE = always (RT imply not PAGEFAULT)