GitHub repository: project-machine/kernel
Description: Build and publish a kernel for machine