Hello! I saw Microkit 2.0 has just been released, and it’s prompted a question I’ve been thinking about since before Microkit, when CaMKes was the main thing:
Both Microkit and Camkes are designed for embedded and/or static systems, where there is no detection/configuration of hardware at runtime, and in Microkit no swapping of components such as drivers.
Is there any work ongoing to use seL4 for a general purpose operating system? Like, a situation where you may have e.g. PC style hardware …
[View More]that can have all sorts of reconfiguration between power-off and next boot, or even while booted and running.
Of course this introduces a lot of attack surface, but it makes a lot more sense for a general purpose computer, rather than an embedded one.
Is there any recent work/prior art on using seL4 outside of the context of deeply embedded systems?
Thanks,
Isaac
[View Less]
Hi folks,
There are a number of boards we currently support that we can no
longer test, as the boards we had have died.
Some of these have been out of production for more than five years.
I'm intending to write up deprecation RFCs for any that noone is
using -- please reply if you still have software you support on any
of the SoCs on these boards:
Arndale Exynos 5250 -- Introduced 2012, last available in 2018
Odroid X Exynos 4412 -- introduced 2012, …
[View More]last available 2018
Beagleboard Xm DM3730 -- introduced 2014, still available as
new-old-stock, but no longer
manufactured.
Hikey960 Kirin 620 -- Introduced 2017, last available
2020
Inforce IFC6410 Snapdragon -- Introduced 2013; no userspace
support at present
--
Dr Peter Chubb https://trustworthy.systems/
Trustworthy Systems Group CSE, UNSW
Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
[View Less]
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Wed 5 Mar, 7:00am UTC.
For your local date and time please see https://sel4.systems/contact/.
Zoom link: https://unsw.zoom.us/j/82640784431
Birgit Brecknell
seL4 Foundation Project Coordinator
Sydney, Australia
Mon 9-5
Wed 2-5
Fri 9-5
birgit(a)sel4.systems <mailto:birgit@sel4.systems>
bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>
