Age | Commit message (Expand) | Author |
---|---|---|
2020-01-17 | linux-yocto linux-yocto-dev: Fix /bin/awk issuesv4.15/standard/tiny/intelv4.15/standard/tiny/common-pcv4.15/standard/tiny/basev4.15/standard/qemuppcv4.15/standard/qemuarm64v4.15/standard/preempt-rt/intelv4.15/standard/preempt-rt/basev4.15/standard/intelv4.15/standard/edgerouterv4.15/standard/beaglebonev4.15/standard/base | He Zhe |
2018-02-02 | linux-yocto: Handle /bin/awk issues | Richard Purdie |
2017-11-02 | License cleanup: add SPDX GPL-2.0 license identifier to files with no license | Greg Kroah-Hartman |
2017-06-08 | srcu-cbmc: Use /usr/bin/awk instead of /bin/awk | Priyalee Kushwaha |
2017-01-25 | rcutorture: Add CBMC-based formal verification for SRCU | Lance Roy |