Age | Commit message (Expand) | Author |
---|---|---|
2020-01-17 | linux-yocto linux-yocto-dev: Fix /bin/awk issuesv4.18/standard/tiny/intelv4.18/standard/tiny/common-pcv4.18/standard/tiny/basev4.18/standard/qemuppcv4.18/standard/qemuarm64v4.18/standard/intel-x86v4.18/standard/intelv4.18/standard/edgerouterv4.18/standard/beaglebonev4.18/standard/base | He Zhe |
2018-08-21 | 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 |