Devel July 2022

devel@sel4.systems

20 participants
16 discussions

Re: Running RISC-V seL4 in QEMU 7.0.50
by Ahmed Charles 12 Jul '22

12 Jul '22

I'm having similar issues getting seL4test to work on riscv32/64 on QEMU 6.0.0 and 7.0.0. I tried debugging with a connected gdb, but I'm new at this and setting breakpoints in user mode seems to fail, so I'm not sure what happens once the root task starts, other than it eventually runs an infinite loop (0: j 0b, specifically). Any ideas? Thanks.

5 7

How to boot sel4 with a VGA output
by Cong Guo 12 Jul '22

12 Jul '22

Hi, I am new to sel4. I find how to run sel4test on an x86_64 machine, but with only serial output. How can I run sel4test or another sel4 system image using a normal VGA output? Thank you.

2 1

Reminder seL4 developer hangout
by Birgit Brecknell 11 Jul '22

11 Jul '22

Hi all A friendly reminder that the seL4 developer hangout is on again next week: Tue, Jul 12, 10pm (UTC), Topics: (open) * Sydney: Wed, Jul 13, 8am * Central Europe: Wed, Jul 13, midnight * US Pacific Time: Tue, Jul 12, 3pm Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

How to Get Input Via Keyboard -SeL4
by Sriram 07 Jul '22

07 Jul '22

Im new to SeL4 and figuring out how to get input from a keyboard and print it as of now What api calls do I use and How to do it Thanks and Regards R.Sriram

2 1

CAmkES components for security auditing.
by Comet 06 Jul '22

06 Jul '22

Hi, Is there an existing CAmkES component that can persistently store seL4 logs for security auditing? So that I can audit data in real time. Comet

1 0

Re: seL4 on TX1
by Yiliang Wan 03 Jul '22

03 Jul '22

Hi! I encountered similar problem on TX1. I tried to boot via DFU, and get exactly the same output as @yjy from time to time. The artifacts in https://github.com/seL4/seL4/actions/runs/1715169793#artifacts are already expired. Could you please provide the latest available sel4test pre-build image for TX1. The original link for the post is： https://103.230.158.80/hyperkitty/list/devel@sel4.systems/message/P3Q5SDSPE… Thank you!

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

Devel July 2022