BD
В смысле проекта
нет, единственный ближайший Robigalia - но они используют стоковый seL4 и лепят поверх него прослойку на расте
Size: a a a
2018 February 19
e🦀
Редокс или интермеззос или токос?
BD
в редоксе вроде микроядрено да
BD
но я категорически не хочу делать еще один юникс, как-то надоело
A
Ну не зря пилят совместимо с посикс
A
С другой стороны да, столько хрени для совместимости собралось
BD
ну вот я не люблю посикс, что тут сделаешь )
BD
и вообще "всё - инт" дебильная концепция, весь этот интли тайпд посикс идет лесом
A
Ну сделай uint)
A
Как будешь делать аналог epoll?)
BD
а это добавляет типизацию, где уинт может быть уже и более жырный инторфейс
λO
void-star polymorphism наше всё
BD
void-star polymorphism наше всё
ну с точки зрения оси это не работает, внутри *(void*)p все равно будет какой-то маркер, инт уж тогда быстрее
A
Самое сложное на мой взгляд это ipc
A
Как там в lk, файлы и сокеты разный интерфейс?
BD
Самое сложное на мой взгляд это ipc
ну в L4 вроде с этим достойно справились
A
Да, читал
BD
мне конечно чуть больше нравится подход из Nemesis, но я думаю получится их совместить
A
Я почемуто думал LK и L4 это одно и тоже
BD
нет, LK это какой-то левый чувак вообще соорудил, а гугль зачем-то взял