linD026
|
d6e1044aa7
|
CI: introduce GCC static analysis
Since GCC version 10, there has been a new option -fanalyzer for
static analysis. It can make the CI pipeline more comprehensive.
Also, the static analysis updates in GCC 11, but we cannot install
the GCC 11 in ubuntu 20.04 straightforwardly right now, which is
the GitHub workflow environment (see status-check.yaml).
For this reason, we stay at the GCC 10.
Close #117
Reference
- https://gcc.gnu.org/onlinedocs/gcc-10.1.0/gcc/Static-Analyzer-Options.html
- https://developers.redhat.com/blog/2020/03/26/static-analysis-in-gcc-10
- https://lwn.net/Articles/870290/
- https://developers.redhat.com/blog/2021/01/28/static-analysis-updates-in-gcc-11
- 7d73c3e9c5
|
2021-10-08 19:41:22 +08:00 |
|
fennecJ
|
3fcbb8e182
|
Improve CI pipeline to automate module testing (#95)
The script executes insmod/rmmod twice with available kernel modules.
Close #72
|
2021-09-08 20:38:50 +08:00 |
|
linD026
|
d27203ef46
|
Enforce consistent style for directory "other" (#89)
|
2021-09-02 16:26:29 +08:00 |
|
linD026
|
eef2bc4395
|
Enforce Linux kernel coding style (#88)
The only exception is to indent with four spaces rather than tabs
for sticking to compact layout of source listing.
Close #87
|
2021-09-02 15:15:07 +08:00 |
|
Jim Huang
|
08e7b6efc3
|
Emphasize on 5.x kernel
|
2021-07-22 08:31:47 +08:00 |
|
Jim Huang
|
2246e20809
|
Add LaTeX script and sample code
|
2021-07-22 06:35:24 +08:00 |
|