праздник пришел на нашу улицу!

[wizzard0]

http://sel4.systems/Read more... )

Comments

[maxim]

Нихуя Себе.

[vp]

оно ж широких масс не коснется, или?

[wizzard0]

Гипервизор, а в него хоть венду, хоть Erlang-on-Xen, хоть что. Праздник на улице амазона, как минимум.

[soonts]

Мне кажется в обозримом будущем не взлетит.

Современный hardware-assisted hypervisor это совсем немного строк кода, которые вполне можно отладить и протестировать традиционными методами.

Я что-то не слышал ни одного случая, когда бы кто-то убегал из песочницы амазонового Xen-а.

[wizzard0]

> ни одного случая
рабочие эксплоиты есть, и далеко не один
вот например

http://threatpost.com/virtual-machine-escape-exploit-targets-xen-090612/76979

праздник пришел на нашу улицу!

[livejournal]

Пользователь sergey_cheban сослался на вашу запись в своей записи « праздник пришел на нашу улицу!» в контексте: [...] Оригинал взят у в праздник пришел на нашу улицу! [...]

[ext_2621577]

А как в этом контексте правильно понимать фразу "compiler doesn't have to be trusted"?

[wizzard0]

Бинарники (по семантике ARM ISA, не уверен насчет x86) тоже proof-checked.