Kerla, el kernel basado en Rust con el que buscan crear un 'GNU/Linux sin Linux'

Podríamos pensar que expresarlo así es hacer trampa, puesto que el nombre del sistema operativo tendría que ser GNU/Kerla, pero es que lo que distingue a este nuevo kernel es que será compatible a nivel ABI (interfaz binaria de aplicaciones) con Linux, lo que permitirá ejecutar exactamente los mismos binarios sin necesidad de recompilarlos.