autokernel (cargo): Autokernel is a tool for managing your kernel configuration that guarantees semantic correctness. It checks symbol assignments for validity by creating a native bridge to the kernel's Kconfig interface and ensures that your configuration does not silently break during kernel updates. 
Keywords: kernel|configuration|lua|kconfig|rust