kernelsh Linux kernel workflow utilities These scripts could be helpful for other projects as well... maybe.