xref: /openbmc/linux/kernel/kcsan/Makefile (revision 80ade22c)