Lines Matching refs:kernel

10 short) of the Linux kernel, written in the "cat" language and executable
15 to convert a litmus test to a Linux kernel module, which in turn allows
16 that litmus test to be exercised within the Linux kernel.
35 a later release of Linux kernel.
41 dependency on a target kernel release where converted code is built
42 and executed.  Any change in kernel APIs essential to klitmus7 will
71 Example litmus tests may be found in the Linux-kernel source tree:
79 	https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git/tree/CodeSamples/formal/herd
80 	https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git/tree/CodeSamples/formal/litmus
93   $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
116 to the tools/memory-model/linux-kernel.* files.  It is not intended for
124 The "klitmus7" tool converts a litmus test into a Linux kernel module,
156 people making changes to the tools/memory-model/linux-kernel.* files.
168 linux-kernel.bell
177 linux-kernel.cat
186 linux-kernel.cfg
190 linux-kernel.def