Tools Various tools needed to configure and build distortos. kconfig-frontends for Windows – Windows binary with mconf tool from kconfig-frontends.