Исправление
sanyo1234,
(текущая версия)
:
Если пока нет универсального гипервизора на базе seL4 типа ESXi, то может быть, хотя бы можно запустить скоростной софтовый эмулятор Box86 на ARM хосте с Genode+seL4, а уже в нем запустить обычный дистрибутив для X86, например, OpenBSD и/или Linux ?
https://genodl4arm.critical.com/
https://genode.org/documentation/platforms/index
Есть ли подобные скоростные эмуляторы для хостов x86?
Ведь именно гипервизорная функция с аппаратным ускорением не является безопасной в seL4 на x86 (да и очевидно аппаратная виртуализация x86 дырява на любом гипервизоре, чтобы там не говорили всякие разработчики XEN, Qubes, etc.), но если бы можно было каким-то образом запустить что-то похожее на Box86 на хосте x86 вместо ARM, то x86 стал бы немного безопаснее в том числе и для скоростной СОФТОВОЙ эмуляции (не аппаратной виртуализации) гостевух?
https://docs.sel4.systems/projects/sel4/verified-configurations.html
Исправление
sanyo1234,
:
Если пока нет универсального гипервизора на базе seL4 типа ESXi, то может быть, хотя бы можно запустить скоростной софтовый эмулятор Box86 на ARM хосте с Genode+seL4, а уже в нем запустить обычный дистрибутив для X86, например, OpenBSD и/или Linux ?
https://genodl4arm.critical.com/
https://genode.org/documentation/platforms/index
Есть ли подобные скоростные эмуляторы для хостов x86?
Ведь именно гипервизорная функция с аппаратным ускорением не является безопасной в seL4 на x86 (да и очевидно аппаратная виртуализация x86 дырява на любом гипервизоре, чтобы там не говорили всякие разработчики XEN, Qubes, etc.), но если бы можно было каким-то образом запустить что-то похожее на Box86 на хосте x86 вместо ARM, то x86 стал бы немного безопаснее в том числе и для скоростной эмуляции гостевух?
https://docs.sel4.systems/projects/sel4/verified-configurations.html
Исправление
sanyo1234,
:
Если пока нет универсального гипервизора на базе seL4 типа ESXi, то может быть, хотя бы можно запустить скоростной софтовый эмулятор Box86 на ARM хосте с Genode+seL4, а уже в нем запустить обычный дистрибутив для X86, например, OpenBSD и/или Linux ?
https://genodl4arm.critical.com/
https://genode.org/documentation/platforms/index
Есть ли подобные скоростные эмуляторы для хостов x86?
Ведь именно гипервизорная функция с аппаратным ускорением не является безопасной в seL4 на x86, но если бы можно было каким-то образом запустить что-то похожее на Box86 на хосте x86 вместо ARM, то x86 стал бы немного безопаснее в том числе и для скоростной эмуляции гостевух?
https://docs.sel4.systems/projects/sel4/verified-configurations.html
Исходная версия
sanyo1234,
:
Если пока нет универсального гипервизора на базе seL4 типа ESXi, то может быть, хотя бы можно запустить скоростной софтовый эмулятор Box86 на ARM хосте с Genode+seL4, а уже в нем запустить обычный дистрибутив для X86, например, OpenBSD и/или Linux ?
https://genodl4arm.critical.com/
https://genode.org/documentation/platforms/index
Есть ли подобные скоростные эмуляторы для хостов x86?
Ведь именно гипервизорная функция с аппаратным ускорением не является безопасной в seL4 на x86, но если бы можно было каким-то образом запустить что-то похожее на Box86 на хосте x86 вместо ARM, то x86 стал бы немного безопаснее в том числе и для скоростной эмуляции гостевух?