April 2025 - Devel - lists.sel4.systems

seL4 developer hangout reminder
by Birgit Brecknell 14 Apr '25

14 Apr '25

Hi all A friendly reminder that the seL4 developer hangout is on again this week. Tue 15 Apr, 10: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

Running seL4 on bare-metal x86_64 PC
by saftab.rashid＠gmail.com 11 Apr '25

11 Apr '25

Hi, I am very new to sel4 and I am trying to run it bare-metal on an Intel Xeon x86_64 machine. I am following the instructions here PC99 | seL4 docs. I can run seL4 using the ./simulate script which runs the kernel under QEMU. However, I would like the run seL4 natively on my machine. After the build, I have the following images in the images/ directory. kernel-x86_64-pc99 sel4test-driver-image-x86_64-pc99 I have created a Grub2 menu entry by copying these images under /boot. However, when I boot using the created menu entry I get a black screen and I also see no output on the serial port. My Grub2 menu entry is as follows menuentry “Load seL4 VM” --class os { load_video insmod gzio insmod part_msdos insmod ext2 set root=‘(hd0,msdos2)’ multiboot /boot/kernel-x86_64-pc99 module /boot/sel4test-driver-image-x86_64-pc99 } I have also tried the multiboot2 protocol as I have an UEFI-supported system but it also doesn’t work. After booting into the seL4 VM I get a black screen and there is no output on the serial port. Any Idea what I am doing wrong?

2 2

Interactions between sDDF and libvmm
by Julia Royer 09 Apr '25

09 Apr '25

Hello, I am currently exploring libvmm and sDDF and I have a question regarding how sDDF is intended to be used in practice. From what I understand, sDDF is often seen in conjunction with libvmm in examples and documentation. My question is: Is sDDF meant to be used exclusively with libvmm, or can it also be used independently? If the latter is possible, is it considered a recommended or meaningful use case, or is the project mainly designed around integration with libvmm? Thank you for your help. Best regards, Julia Royer

2 1

seL4 Summit 2025: two weeks to go to submit a talk
by Birgit Brecknell 07 Apr '25

07 Apr '25

Two weeks to go to submit a talk [0] for the seL4 Summit 2025 [1]! If you’d like to submit a talk, please upload an abstract of one page or less to the submission portal [2]. **Abstracts are due on 21 April 2025.** Also note the open invitation for a 5-minute slot to talk about your seL4 deployment [3]. The seL4 Summit 2025 will be held 3 - 5 September 2025 at the Grandior Hotel Prague, Prague, Czech Republic. The summit will be an in-person event. Registration details to follow soon. We’re looking forward to many exciting proposals! [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