^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) =====================================
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) LINUX KERNEL MEMORY CONSISTENCY MODEL
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) =====================================
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) ============
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) INTRODUCTION
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) ============
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) This directory contains the memory consistency model (memory model, for
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) short) of the Linux kernel, written in the "cat" language and executable
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) by the externally provided "herd7" simulator, which exhaustively explores
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) the state space of small litmus tests.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) In addition, the "klitmus7" tool (also externally provided) may be used
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) to convert a litmus test to a Linux kernel module, which in turn allows
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) that litmus test to be exercised within the Linux kernel.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) ============
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) REQUIREMENTS
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) ============
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) Version 7.52 or higher of the "herd7" and "klitmus7" tools must be
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) downloaded separately:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26) https://github.com/herd/herdtools7
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) See "herdtools7/INSTALL.md" for installation instructions.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30) Note that although these tools usually provide backwards compatibility,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 31) this is not absolutely guaranteed.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 32)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 33) For example, a future version of herd7 might not work with the model
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 34) in this release. A compatible model will likely be made available in
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 35) a later release of Linux kernel.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 36)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 37) If you absolutely need to run the model in this particular release,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 38) please try using the exact version called out above.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 39)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 40) klitmus7 is independent of the model provided here. It has its own
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 41) dependency on a target kernel release where converted code is built
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 42) and executed. Any change in kernel APIs essential to klitmus7 will
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 43) necessitate an upgrade of klitmus7.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 44)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 45) If you find any compatibility issues in klitmus7, please inform the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 46) memory model maintainers.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 47)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 48) klitmus7 Compatibility Table
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 49) ----------------------------
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 50)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 51) ============ ==========
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 52) target Linux herdtools7
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 53) ------------ ----------
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 54) -- 4.18 7.48 --
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 55) 4.15 -- 4.19 7.49 --
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 56) 4.20 -- 5.5 7.54 --
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 57) 5.6 -- 7.56 --
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 58) ============ ==========
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 59)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 60)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 61) ==================
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 62) BASIC USAGE: HERD7
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 63) ==================
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 64)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 65) The memory model is used, in conjunction with "herd7", to exhaustively
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 66) explore the state space of small litmus tests. Documentation describing
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 67) the format, features, capabilities and limitations of these litmus
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 68) tests is available in tools/memory-model/Documentation/litmus-tests.txt.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 69)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 70) Example litmus tests may be found in the Linux-kernel source tree:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 71)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 72) tools/memory-model/litmus-tests/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 73) Documentation/litmus-tests/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 74)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 75) Several thousand more example litmus tests are available here:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 76)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 77) https://github.com/paulmckrcu/litmus
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 78) https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git/tree/CodeSamples/formal/herd
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 79) https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git/tree/CodeSamples/formal/litmus
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 80)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 81) Documentation describing litmus tests and now to use them may be found
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 82) here:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 83)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 84) tools/memory-model/Documentation/litmus-tests.txt
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 85)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 86) The remainder of this section uses the SB+fencembonceonces.litmus test
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 87) located in the tools/memory-model directory.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 88)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 89) To run SB+fencembonceonces.litmus against the memory model:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 90)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 91) $ cd $LINUX_SOURCE_TREE/tools/memory-model
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 92) $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 93)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 94) Here is the corresponding output:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 95)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 96) Test SB+fencembonceonces Allowed
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 97) States 3
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 98) 0:r0=0; 1:r0=1;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 99) 0:r0=1; 1:r0=0;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 100) 0:r0=1; 1:r0=1;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 101) No
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 102) Witnesses
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 103) Positive: 0 Negative: 3
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 104) Condition exists (0:r0=0 /\ 1:r0=0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 105) Observation SB+fencembonceonces Never 0 3
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 106) Time SB+fencembonceonces 0.01
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 107) Hash=d66d99523e2cac6b06e66f4c995ebb48
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 108)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 109) The "Positive: 0 Negative: 3" and the "Never 0 3" each indicate that
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 110) this litmus test's "exists" clause can not be satisfied.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 111)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 112) See "herd7 -help" or "herdtools7/doc/" for more information on running the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 113) tool itself, but please be aware that this documentation is intended for
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 114) people who work on the memory model itself, that is, people making changes
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 115) to the tools/memory-model/linux-kernel.* files. It is not intended for
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 116) people focusing on writing, understanding, and running LKMM litmus tests.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 117)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 118)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 119) =====================
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 120) BASIC USAGE: KLITMUS7
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 121) =====================
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 122)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 123) The "klitmus7" tool converts a litmus test into a Linux kernel module,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 124) which may then be loaded and run.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 125)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 126) For example, to run SB+fencembonceonces.litmus against hardware:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 127)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 128) $ mkdir mymodules
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 129) $ klitmus7 -o mymodules litmus-tests/SB+fencembonceonces.litmus
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 130) $ cd mymodules ; make
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 131) $ sudo sh run.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 132)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 133) The corresponding output includes:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 134)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 135) Test SB+fencembonceonces Allowed
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 136) Histogram (3 states)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 137) 644580 :>0:r0=1; 1:r0=0;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 138) 644328 :>0:r0=0; 1:r0=1;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 139) 711092 :>0:r0=1; 1:r0=1;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 140) No
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 141) Witnesses
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 142) Positive: 0, Negative: 2000000
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 143) Condition exists (0:r0=0 /\ 1:r0=0) is NOT validated
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 144) Hash=d66d99523e2cac6b06e66f4c995ebb48
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 145) Observation SB+fencembonceonces Never 0 2000000
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 146) Time SB+fencembonceonces 0.16
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 147)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 148) The "Positive: 0 Negative: 2000000" and the "Never 0 2000000" indicate
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 149) that during two million trials, the state specified in this litmus
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 150) test's "exists" clause was not reached.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 151)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 152) And, as with "herd7", please see "klitmus7 -help" or "herdtools7/doc/"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 153) for more information. And again, please be aware that this documentation
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 154) is intended for people who work on the memory model itself, that is,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 155) people making changes to the tools/memory-model/linux-kernel.* files.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 156) It is not intended for people focusing on writing, understanding, and
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 157) running LKMM litmus tests.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 158)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 159)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 160) ====================
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 161) DESCRIPTION OF FILES
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 162) ====================
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 163)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 164) Documentation/cheatsheet.txt
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 165) Quick-reference guide to the Linux-kernel memory model.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 166)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 167) Documentation/explanation.txt
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 168) Describes the memory model in detail.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 169)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 170) Documentation/litmus-tests.txt
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 171) Describes the format, features, capabilities, and limitations
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 172) of the litmus tests that LKMM can evaluate.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 173)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 174) Documentation/recipes.txt
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 175) Lists common memory-ordering patterns.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 176)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 177) Documentation/references.txt
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 178) Provides background reading.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 179)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 180) Documentation/simple.txt
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 181) Starting point for someone new to Linux-kernel concurrency.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 182) And also for those needing a reminder of the simpler approaches
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 183) to concurrency!
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 184)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 185) linux-kernel.bell
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 186) Categorizes the relevant instructions, including memory
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 187) references, memory barriers, atomic read-modify-write operations,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 188) lock acquisition/release, and RCU operations.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 189)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 190) More formally, this file (1) lists the subtypes of the various
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 191) event types used by the memory model and (2) performs RCU
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 192) read-side critical section nesting analysis.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 193)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 194) linux-kernel.cat
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 195) Specifies what reorderings are forbidden by memory references,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 196) memory barriers, atomic read-modify-write operations, and RCU.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 197)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 198) More formally, this file specifies what executions are forbidden
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 199) by the memory model. Allowed executions are those which
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 200) satisfy the model's "coherence", "atomic", "happens-before",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 201) "propagation", and "rcu" axioms, which are defined in the file.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 202)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 203) linux-kernel.cfg
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 204) Convenience file that gathers the common-case herd7 command-line
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 205) arguments.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 206)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 207) linux-kernel.def
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 208) Maps from C-like syntax to herd7's internal litmus-test
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 209) instruction-set architecture.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 210)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 211) litmus-tests
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 212) Directory containing a few representative litmus tests, which
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 213) are listed in litmus-tests/README. A great deal more litmus
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 214) tests are available at https://github.com/paulmckrcu/litmus.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 215)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 216) lock.cat
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 217) Provides a front-end analysis of lock acquisition and release,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 218) for example, associating a lock acquisition with the preceding
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 219) and following releases and checking for self-deadlock.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 220)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 221) More formally, this file defines a performance-enhanced scheme
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 222) for generation of the possible reads-from and coherence order
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 223) relations on the locking primitives.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 224)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 225) README
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 226) This file.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 227)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 228) scripts Various scripts, see scripts/README.
Orange Pi5 kernel
Deprecated Linux kernel 5.10.110 for OrangePi 5/5B/5+ boards
3 Commits
0 Branches
0 Tags