- Devel - lists.sel4.systems

Ethernet passthrough on x86 (QEMU)
by alberto.lange＠ib.edu.ar 28 Apr '25

28 Apr '25

Hi! I wanted to share another problem with you again, I hope it doesn't bother you. I'm trying to set up a small network between two simulations on QEMU of seL4 running a VM before dealing with hardware. I saw the tutorials related to Ethernet passthrough, but I'm not sure if the same approach applies when using QEMU. These are my configs for the minimal app example: vm0_config.ioports = [ {"start":0xc000, "end":0xc03f, "pci_device":0, "name":"Ethernet5"}, ]; vm0_config.pci_devices = [ { "name":"Ethernet5", "bus":0x0, "dev":0x3, "fun":0, "irq":"Ethernet5", "memory":[ {"paddr":0xfeb80000, "size":0x20000, "page_bits":12}, ], }, ]; vm0_config.irqs = [ {"name":"Ethernet5", "source":11, "level_trig":1, "active_low":1, "dest":10} ]; And checking what QEMU presents to seL4 as hardware: Bus 0, device 3, function 0: Ethernet controller: PCI device 8086:100e PCI subsystem 1af4:1100 IRQ 11, pin A BAR0: 32 bit memory at 0xfeb80000 [0xfeb9ffff]. BAR1: I/O at 0xc000 [0xc03f]. BAR6: 32 bit memory at 0xffffffffffffffff [0x0007fffe]. id "" But when I'm looking for the device on the VM: # lspci 00:00.0 Class 0600: 5e14:0042 I would appreciate any comments on this. Thanks in advance. Alberto Lange

1 0

Custom kernel for x86 VM
by alberto.lange＠ib.edu.ar 28 Apr '25

28 Apr '25

Hi! I'm Alberto, and I'm currently working on my Telecommunications Engineering thesis, which focuses on building a secure system using an seL4 virtual machine. Right now, I'm trying to use the minimal app from the camkes-vm-examples repository with a modified Linux kernel (v6.12.9) built using Buildroot. To do this, I've been replacing the kernel and rootfs files in the vm-linux/images directory with my custom ones. However, this has led to multiple errors during execution. I’d really appreciate some guidance on the correct way to integrate a custom kernel into the CAmkES VM framework. Specifically, should I be using the functions provided in the linux-source-helpers.cmake file to update the kernel and rootfs? Thanks in advance!

2 2

seL4 Summit 2025: extended deadline to submit a talk
by Birgit Brecknell 27 Apr '25

27 Apr '25

The deadline to submit a talk [0] for the seL4 Summit 2025 [1] has been extended until 2 May 2025. 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 2 May 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 and location details are available here [4] [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 [4] https://events.linuxfoundation.org/sel4-summit/register/ 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 27 Apr '25

27 Apr '25

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

hello_rumprun app not worked
by MOHAMAD REZA SHAFIEI 18 Apr '25

18 Apr '25

hi. i'm recently worked on sel4 with camkes framework. when i compile rumprun_hello on x86_64 platform its compiled and build correctly but when run with qemu by ./simulate script, program crashed with this errors: simple_get_extended_bootinfo_length@simple.h:600 simple_get_extended_bootinfo_length not implemented FAULT HANDLER: data fault from hello.hello_0_control (ID 0x1) on address 0x8, pc = 0x402b7f, fsr = 0x6 FAULT HANDLER: Register dump: FAULT HANDLER: rip :0x402b7f , . . so i found that this method not implemented yet so i return 0 in this method and resolved. for second problem that cause failure if trace program and i found that in "init rumprun" process the program failed in the /projects/sel4runtime/include/sel4_arch/x86_64/sel4runtime/thread_arch.h file and sel4runtime_set_tls_base method. so i read git log and in recently commit your team use sel4runtime for thread TLS, so when we run rumprun_hello, the program failed in sel4runtime_set_tls_base method. can you help me fix this bug? thanks for your attention. -- This email was Anti Virus checked by Security Gateway.

5 5

Issue when running rumprun_hello app from the CAmkES manifest
by dinukaamarasinghe817＠gmail.com 18 Apr '25

18 Apr '25

Hello all, mostly Kent, When I run the rumprun_hello app that's included in the CAmkES manifest, I encounter the following runtime errors: [...] Booting all finished, dropped to user space simple_get_extended_bootinfo_length@simple.h:608 simple_get_extended_bootinfo_length not implemented vka_cspace_alloc@vka.h:149 Unimplemented vka_alloc_object_at_maybe_dev@object.h:47 Failed to allocate cslot: error -1 init_rumprun@entry.c:306 [Cond failed: res != 0] Failed to allocate notification object This seems related to the simple->extended_bootinfo_len callback not being implemented, which causes downstream failures in object allocation (e.g. notification object). This issue appears specifically when running Rumprun-based apps. Would appreciate any insights or suggestions on how to resolve or properly set up this functionality. Note that i haven't modified any of the code here. Just tried to run the existing 'rumprun_hello' application.

1 0

Re: Register for the seL4 summit 2025
by Vasily A. Sartakov 15 Apr '25

15 Apr '25

Dear all, > Thanks for the info! A quick question for clarification: What is the difference between the Professional and the Hobbyist registration type? (Sorry if this is obvious to someone, but I'm unable to find an explicit explanation anywhere.) I guess, If you pay out of your own pocket, you are an enthusiast. if it is sponsored by your employer, you are a professional. — Dr.-Eng. V. A. Sartakov

3 2

Register for the seL4 summit 2025
by Birgit Brecknell 14 Apr '25

14 Apr '25

The seL4 summit 2025 [0] will be held in Prague, Czech Republic, 3 - 5 September 2025. The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception and dinner Register here [1] The early bird cut-off date is 3 August 2025. A number of informal social activities will be organised by the seL4 community for Tuesday 2 Sep 2025. Stay tuned for more info! [0] https://sel4.systems/Foundation/Summit/2025/ [1] https://events.linuxfoundation.org/sel4-summit/register/ 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>

2 1

DKernelSkimWindow=off
by Sanyou 13 Apr '25

13 Apr '25

Hi, I am testing sel4 on real Sanyou> x86 board now. I found that if we use parameter DKernelSkimWindow=off, we can see nothing on the uart. Can you give me any advice. Regards, Sanyoo

1 0

seL4 Summit 2025: one week to go to submit a talk
by Birgit Brecknell 13 Apr '25

13 Apr '25

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