LINUX.ORG.RU

История изменений

Исправление sanyo1234, (текущая версия) :

Разные цели. Embox предлагает решение части проблем у Линукс. Это не обязательно микроядро, да и микроядер уже много.

Судя по:

https://github.com/embox/embox

Embox is a configurable RTOS designed for resource constrained and embedded systems.

seL4 - ядро как раз для подобных систем, уникальное своей надежностью и безопасностью, аналоги которому вы наврядли найдете среди других микроядер.

VoIP phone on STM32F7Discovery based on PJSIP project
Qt on STM32F7Discovery
OpenCV on STM32F769i board
A lot of programming languages available: Python, Lisp, Java (phoneme), TCL, Ruby, Lua
SSHD based on Dropbear project
Mesa3d
Quake3
zeromq, qpid

Для осей на базе seL4, которые пока относительно в вакууме IMHO, как раз перечисленного вами и не хватает :)

Embox main idea is using Linux software without Linux.

Именно это и нужно для оси на базе seL4.

Когда-то пытались портировать ядро Hurd для GNU дистрибутивов на ядро L4:

https://news.slashdot.org/story/05/02/04/028220/first-program-executed-on-l4-...

«The GNU Project was working on a new OS kernel called HURD from 1990, using the GNU Mach microkernel. However, when HURD-Mach was able to run a GUI and a browser, the developers decided to start from scratch and port the project to the high-performance L4 microkernel.

Но увы, они не шмогли ...

Исправление sanyo1234, :

Разные цели. Embox предлагает решение части проблем у Линукс. Это не обязательно микроядро, да и микроядер уже много.

Судя по:

https://github.com/embox/embox

Embox is a configurable RTOS designed for resource constrained and embedded systems.

seL4 - ядро как раз для подобных систем, уникальное своей надежностью и безопасностью, аналоги которому вы наврядли найдете среди других микроядер.

VoIP phone on STM32F7Discovery based on PJSIP project
Qt on STM32F7Discovery
OpenCV on STM32F769i board
A lot of programming languages available: Python, Lisp, Java (phoneme), TCL, Ruby, Lua
SSHD based on Dropbear project
Mesa3d
Quake3
zeromq, qpid

Для осей на базе seL4, которые пока относительно в вакууме IMHO, как раз перечисленного вами и не хватает :)

Embox main idea is using Linux software without Linux.

Именно это и нужно для оси на базе seL4.

Исправление sanyo1234, :

Разные цели. Embox предлагает решение части проблем у Линукс. Это не обязательно микроядро, да и микроядер уже много.

Судя по:

https://github.com/embox/embox

Embox is a configurable RTOS designed for resource constrained and embedded systems.

seL4 - ядро как раз для подобных систем, уникальное своей надежностью и безопасностью, аналогов которому вы наврядли найдете среди других микроядер.

VoIP phone on STM32F7Discovery based on PJSIP project
Qt on STM32F7Discovery
OpenCV on STM32F769i board
A lot of programming languages available: Python, Lisp, Java (phoneme), TCL, Ruby, Lua
SSHD based on Dropbear project
Mesa3d
Quake3
zeromq, qpid

Для осей на базе seL4, которые пока относительно в вакууме IMHO, как раз перечисленного вами и не хватает :)

Embox main idea is using Linux software without Linux.

Именно это и нужно для оси на базе seL4.

Исходная версия sanyo1234, :

Разные цели. Embox предлагает решение части проблем у Линукс. Это не обязательно микроядро, да и микроядер уже много.

Судя по:

Embox is a configurable RTOS designed for resource constrained and embedded systems.

seL4 - ядро как раз для подобных систем, уникальное своей надежностью и безопасностью, аналогов которому вы наврядли найдете среди других микроядер.

VoIP phone on STM32F7Discovery based on PJSIP project
Qt on STM32F7Discovery
OpenCV on STM32F769i board
A lot of programming languages available: Python, Lisp, Java (phoneme), TCL, Ruby, Lua
SSHD based on Dropbear project
Mesa3d
Quake3
zeromq, qpid

Для осей на базе seL4, которые пока относительно в вакууме IMHO, как раз перечисленного вами и не хватает :)

Embox main idea is using Linux software without Linux.

Именно это и нужно для оси на базе seL4.