Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-06-20 | build: remove the old "linter" | dzwdz | |
It was a good idea, but it didn't even work. 0/10 Maybe I should replace it with semgrep someday. For the only current rule, I can split src/kernel/ into src/kernel/{amd64,generic}, and just don't have amd64 in generic's include path. | |||
2021-07-10 | implement a basic linter | dzwdz | |
Currently it just checks if the kernel doesn't accidentally use arch-dependent headers. |