История изменений
Исправление EXL, (текущая версия) :
Есть ли какие-то готовые тулзы и маны для удобного запуска в таком гипервизоре Linux
Мануалов, к сожалению, я нигде подобных не видел, а вот коммерческие реализации на описанной тобой оригинальной технологии (L4) лицезрел ещё 13 лет назад:
https://forum.motofan.ru/index.php?s=&showtopic=161208&view=findpost&p=1793741
Для Ъ: Телефон Motorola EVOKE QA4 для американского рынка под CDMA, где вместо привычного BREW инженеры Motorola и Qualcomm изощрились и запустили Linux как сервис микроядра L4, а сверху поставили оболочку из GTK+ и X.Org
В таком виде оно и пошло на рынок. Исходники OSS-компонентов прошивки этого телефона можно скачать по ссылке выше. GUI-оболочка в них, конечно же, не входит.
Ну и для оригинального L4 имеется https://l4linux.org/, а вот есть ли подобное под seL4 – не знаю.
Исправление EXL, :
Есть ли какие-то готовые тулзы и маны для удобного запуска в таком гипервизоре Linux
Мануалов, к сожалению, я нигде подобных не видел, а вот коммерческие реализации на описанной тобой оригинальной технологии (L4) лицезрел ещё 13 лет назад:
https://forum.motofan.ru/index.php?s=&showtopic=161208&view=findpost&p=1793741
Для Ъ: Телефон Motorola EVOKE QA4 для американского рынка под CDMA, где вместо привычного BREW инженеры Motorola и Qualcomm изощрились и запустили Linux как сервис микроядра L4, а сверху поставили оболочку из GTK+ и X.Org
В таком виде оно и пошло на рынок. Исходники OSS-компонентов прошивки этого телефона можно скачать по ссылке выше. GUI-оболочка в них, конечно же, не входит.
Исходная версия EXL, :
Есть ли какие-то готовые тулзы и маны для удобного запуска в таком гипервизоре Linux
Мануалов, к сожалению, я нигде подобных не видел, а вот коммерческие реализации на описанной тобой технологии лицезрел ещё 13 лет назад:
https://forum.motofan.ru/index.php?s=&showtopic=161208&view=findpost&p=1793741
Для Ъ: Телефон Motorola EVOKE QA4 для американского рынка под CDMA, где вместо привычного BREW инженеры Motorola и Qualcomm изощрились и запустили Linux как сервис микроядра L4, а сверху поставили оболочку из GTK+ и X.Org
В таком виде оно и пошло на рынок. Исходники OSS-компонентов прошивки этого телефона можно скачать по ссылке выше. GUI-оболочка в них, конечно же, не входит.