вроде консенсус в том, что быстрее получается запустить вм на RISC процессоре

Ага

Ну логично. CISKи слишком сложные просто

That's why normal newbies have problem

Пытался найти в интернете что-то про неё - ничего

Да

Делают, я вот сделал. Без единой капли С, пушо  он нинужен.

в них не было софтверной изоляции процессов

ошибся в названии: https://ru.wikipedia.org/wiki/JRockit

бывают и такие, но “эффективно” это не про них

там в вики не написано, но один из разработчиков лет 10 назад делал доклад в Питере и рассказывал, что у них была версия Jrockit которая запускалась на железе, без операционки. И сеть там работала очень прикольно за счёт того, что не было переключений контекстов и данные не гонялись между разными процессами  разных уровней.

в каком-нибудь Nemesis тоже так же может работать, не уникально, хотя Nemesis ни разу не менеджед и без вм

Кек, кто там говорил про ос с ерлангом

The seL4 Foundation welcomes New-Zealand based Kry10 as our latest member.

“We believe that formal methods and proven code is the only viable option for software, whether it is AI, Industrial controls, or really anything else. seL4 is the first, and only real practical kernel to show the world how it should be done,” says Boyd Multerer, CEO and Founder of Kry10.

“At Kry10, we are building a full-featured operating system on top of the seL4 Kernel, along with tooling, services, key management and more. We are aiming at industrial use, but it is suitable for consumer devices and more. Combined with the Erlang BEAM VM for applications, we intend to deliver systems with great security and minimal downtime, even across upgrades.”

Хе

Интересно, как это будет выглядеть

ну оно будет в юзерспейсе, я думаю

как и всё в seL4 )

Там и линукс в юзерспейсе

“For example, we don’t intend to support Python, Node, or other VMs by default unless they can meet our robustness requirements.”