История изменений
Исправление 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.