LK
Managarm? вроде за короткий срок сделали и по красотеSize: a a a
2021 October 23
2021 October 24
DF
ребята как вам проект
DF
правда я пока не шибко погружался, у меня билд не сошелся с их интсрукцией )
BD
апдейты чот прям свежие, два года назад
DF
BD
DF
у них просто сайт видимо не обновлялся
BD
он у меня даже сохранен, видимо уже давно
DF
👍
2021 October 25
BD
Я так понимаю простая русская девушка Тася ни разу не бот?
W
3 common groups:
pro.osdev, asm, pro.elixir.
pro.osdev, asm, pro.elixir.
BD
Еще и интересы у нее отличные, чтош.
W
Во все вступила только что, ни одного сообщения :)
BD
через пару недель напишет сразу во все 😄
DF
ребята у меня возникла мысль, только вы не смейтесь...
хочу разработать покомпонентно модули/конструктор для произвольных OS, по идее что-то типа Genode, но на расте
сколько надо будет человеколет чтобы получилось что-то минимально рабочее, что можно использовать? хотя бы один модуль, скелет для его демонстрации
суть в том что я хочу это все еще и верифицировать формально
хочу разработать покомпонентно модули/конструктор для произвольных OS, по идее что-то типа Genode, но на расте
сколько надо будет человеколет чтобы получилось что-то минимально рабочее, что можно использовать? хотя бы один модуль, скелет для его демонстрации
суть в том что я хочу это все еще и верифицировать формально
DF
время на верификацию прошу не включать в оценку )
BD
ну genode довольно бодро чуваки наклепали, даже на плюсах
DF
бодро ето лет 5-6?