![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
vakЕщё в далёком 1992-м году, когда Ричард Столлман впервые приехал в Москву, он рассказывал про гениальную операционку Hurd, которую пишет команда GNU, и которая вот-вот выйдет и затмит собой все прочие юниксы. Не прошло и тридцати лет однако. Сегодня мне удалось скачать и запустить на VirtualBox последнюю версию Debian GNU/Hurd 11.0.
Инструкция по установке: https://cdimage.debian.org/cdimage/ports/11.0/hurd-i386/README
Действительно работает, правда поддерживается всего один процессор. Баш командер и редактор LE собрались из исходников на ура. По ощущениям напоминает обычный Debian, только список системных процессов выглядит необычно.
Инструкция по установке: https://cdimage.debian.org/cdimage/ports/11.0/hurd-i386/README
Действительно работает, правда поддерживается всего один процессор. Баш командер и редактор LE собрались из исходников на ура. По ощущениям напоминает обычный Debian, только список системных процессов выглядит необычно.
no subject
Date: 2021-08-18 09:31 (UTC)Ей бы жить да жить, но сейчас микроядра все как-то в любительской нише остались...
no subject
Date: 2021-08-18 18:07 (UTC)no subject
Date: 2021-08-20 03:25 (UTC)Это да, но с повышением мощности и быстродействия процов, это становится не такой большой проблемой по сравнению с проблемами безопасности монолитного ядра
no subject
Date: 2021-08-20 03:37 (UTC)no subject
Date: 2021-08-20 04:21 (UTC)Тут как говорится, вам безопасность, но помедленнее или скорость, но куча багов.
читайте исследование
https://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf
no subject
Date: 2021-08-20 03:23 (UTC)Вот про seL4 из вики, чтобы понимать, что это не какая-то поделка.
Commercial deployment
In November 2005, NICTA announced[11] that Qualcomm was deploying NICTA's L4 version on their Mobile Station Modem chipsets. This led to the use of L4 in mobile phone handsets on sale from late 2006. In August 2006, ERTOS leader and UNSW professor Gernot Heiser spun out a company named Open Kernel Labs (OK Labs) to support commercial L4 users and further develop L4 for commercial use under the brand name OKL4, in close collaboration with NICTA. OKL4 Version 2.1, released in April 2008, was the first generally available version of L4 which featured capability-based security. OKL4 3.0, released in October 2008, was the last open-source version of OKL4. More recent versions are closed source and based on a rewrite to support a native hypervisor variant named the OKL4 Microvisor. OK Labs also distributed a paravirtualized Linux named OK:Linux, a descendant of Wombat, and paravirtualized versions of SymbianOS and Android. OK Labs also acquired the rights to seL4 from NICTA.
OKL4 shipments exceeded 1.5 billion in early 2012,[2] mostly on Qualcomm wireless modem chips. Other deployments include automotive infotainment systems.[12]
Apple A series processors beginning with the A7 contain a Secure Enclave coprocessor running an L4 operating system[13] based on the L4-embedded kernel developed at NICTA in 2006.[14] This implies that L4 is now shipping on all iOS devices, the total shipment of which is estimated at 310 million for the year 2015.[15]
no subject
Date: 2021-08-20 03:36 (UTC)no subject
Date: 2021-08-20 04:14 (UTC)Есть L4Linux
https://docs.sel4.systems/Tutorials/camkes-vm-linux.html
https://l4linux.org/overview.shtml
https://genode.org/documentation/general-overview/index
no subject
Date: 2021-08-21 07:20 (UTC)no subject
Date: 2021-08-21 07:53 (UTC)https://l4linux.org/status.shtml
и здесь
https://l4linux.org/index.shtml
no subject
Date: 2021-08-21 22:48 (UTC)no subject
Date: 2021-08-21 23:14 (UTC)