ZeroVM linux-headers port (part of the gcc toolchain) - View it on GitHub