Código abierto. Nuevas posibilidades.

Una lista seleccionada de recursos de programación embebida que abarca plataformas de MCU, desarrollo bare-metal, RTOS, trabajo con el kernel de Linux y controladores, cadenas de herramientas y materiales de aprendizaje.

Takibi es un lenguaje de sistemas de investigación y un kernel monolítico compatible con Linux-ABI, diseñado para trasladar los fallos de ejecución del kernel a errores de compilación mediante tipos de refinamiento y propiedad afín.