ребята у меня возникла мысль, только вы не смейтесь...
хочу разработать покомпонентно модули/конструктор для произвольных OS, по идее что-то типа Genode, но на расте
сколько надо будет человеколет чтобы получилось что-то минимально рабочее, что можно использовать? хотя бы один модуль, скелет для его демонстрации
суть в том что я хочу это все еще и верифицировать формально