summaryrefslogtreecommitdiff
path: root/tools/linter
AgeCommit message (Collapse)Author
2023-06-20build: 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-10implement a basic linterdzwdz
Currently it just checks if the kernel doesn't accidentally use arch-dependent headers.