- Devel - lists.sel4.systems

Reminder: Call For Presentations for the seL4 Summit 2025
by Birgit Brecknell 14 Mar '25

14 Mar '25

Reminder: Call For Presentations [0] for the seL4 Summit 2025 [1] - Share your seL4 work - Share your seL4 experience - Share your seL4 thoughts Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by **21 April 2025** to the submission portal [2]. Also note the open invitation for a 5-minute slot to talk about your seL4 deployment [3]. [0] https://sel4.systems/Foundation/Summit/2025/cfp [1] https://sel4.systems/Foundation/Summit/2025/ [2] https://form.jotform.com/250436091673861 [3] https://sel4.systems/Foundation/Summit/2025/cfp#sel4-deployment 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>

1 0

Libvmm on Rasperry Pi 4B
by Julia Royer 12 Mar '25

12 Mar '25

Hello, I am currently working on a project aimed at exploring the capabilities of the seL4 microkernel and Microkit. For this purpose, I have chosen the Raspberry Pi 4B board. I noticed that libvmm is not yet supported for this platform. Do you have an estimate on when Raspberry Pi 4B might be supported? Thank you for your time and support. Kind regards, Julia Royer

2 5

Release 2.0.0 of Microkit
by Ivan Velickovic 09 Mar '25

09 Mar '25

Hello everyone, There is a new release of Microkit, version 2.0.0. This release contains various bug fixes, quality-of-life changes, features, and new board support. This is a major version bump due to a breaking change. Below the release notes, there is a section on how to upgrade from Microkit 1.4.1. You can download the pre-built SDK from GitHub: https://github.com/seL4/microkit/releases/tag/2.0.0 Ivan

5 11

seL4 for general purpose/desktop operating systems?
by Isaac Beckett 09 Mar '25

09 Mar '25

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 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

5 10

Deprecating old boards in the CI system
by Peter Chubb 05 Mar '25

05 Mar '25

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, 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.

1 0

seL4 developer hangout reminder
by Birgit Brecknell 03 Mar '25

03 Mar '25

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>

1 0

Call For Presentations for the seL4 Summit 2025
by Birgit Brecknell 17 Feb '25

17 Feb '25

Call For Presentations [0] for the seL4 Summit 2025 [1] - Share your seL4 work - Share your seL4 experience - Share your seL4 thoughts Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by 21 April 2025 to the submission portal [2]. Also note the open invitation for a 5-minute slot to talk about your seL4 deployment [3]. [0] https://sel4.systems/Foundation/Summit/2025/cfp [1] https://sel4.systems/Foundation/Summit/2025/ [2] https://form.jotform.com/250436091673861 [3] https://sel4.systems/Foundation/Summit/2025/cfp#sel4-deployment 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>

1 0

seL4 developer hangout reminder
by Birgit Brecknell 17 Feb '25

17 Feb '25

Hi all A friendly reminder that the seL4 developer hangout is on again this week. Tue 18 Feb, 9:00pm 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>

1 0

seL4 developer hangout reminder
by Birgit Brecknell 03 Feb '25

03 Feb '25

Hi all A friendly reminder that the seL4 developer hangout is on again this week. Wed 5 Feb, 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>

1 0

seL4 test on x86
by Yevgeny Lavrov 30 Jan '25

30 Jan '25

Hello, I'm new to seL4 and I'm just doing it for learning purpose. I'm trying to run seL4 test suite or simple hello world task from seL4 tutorials on the real hardware. So far I had no problems compiling seL4 test suite and running via QEMU for both x32 and x64 platforms. However, when I try to run it on the actual hardware following Running on real hardware tutorial for x86 I end up with no output at all and no error msgs that can give me a clue on where something went wrong. After compiling seL4test for x86, I ended up with two images in sel4_dir/images/ folder. Copied them over to /boot/sel4/ folder and created a new GRUB2 entry that looks like this menuentry “seL4 test suite” --class os { load video insmod gzio insmod part_msdos insmod ext2 set root=’(hd0,msdos5)’ multiboot /boot/sel4/kernel-ia32-pc99 module /boot/sel4/sel4test-driver-image-ia32-pc99 } update grub, restart and select the new entry from GRUB menu. I end up with blinking cursor on the top-left side of the screen. Please advise.

4 3