- Announce - lists.sel4.systems

[seL4] Meet the Program Committee of the seL4 summit 2023
by Announcements about seL4 -- low volume list 13 Feb '23

13 Feb '23

Meet the Program Committee of the seL4 summit 2023 We are thrilled to announce our program committee for the seL4 Summit 2023 [0]. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers [1]. [0] https://sel4.systems/Foundation/Summit/2023/ [1] https://sel4.systems/news/2023 --- 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

[seL4]: seL4 summit 2023
by Announcements about seL4 -- low volume list 10 Feb '23

10 Feb '23

It is our pleasure to confirm that the seL4 Summit 2023 [0] will be in: Minneapolis, USA, Sept/Oct 2023 (dates TBC). The summit will be hosted by the Linux Foundation [1], and will be an in-person event. We will announce a Call for Presentations in the coming weeks. Stay tuned! [0] https://sel4.systems/Foundation/Summit/2023/ [1] https://www.linuxfoundation.org/ --- 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

seL4 features in the Linux Foundation’s 2022 Annual report
by Announcements about seL4 -- low volume list 14 Dec '22

14 Dec '22

We are pleased to announce that seL4 features in the Linux Foundation’s 2022 Annual report. For more information, visit https://sel4.systems/news/2022 --- 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

Survey about the seL4 summit 2023's location
by Announcements about seL4 -- low volume list 21 Nov '22

21 Nov '22

Dear seL4 friends, With the great success of the seL4 summit 2022 behind us, we are now already looking at the seL4 summit 2023! This should happen around Sep/Oct 2023. We have started investigating options for the location, and we would like your feedback. We would very much appreciate if you could fill in this very short survey to tell us your opinion between USA (likely Minneapolis) and Australia (likely Sydney) or any other feedback you have: https://forms.gle/k4XxYaYeudYUie9U8 <https://forms.gle/k4XxYaYeudYUie9U8> Please do so by Nov 22nd 2022. Feel free to forward to anyone you believe may want to attend the summit next year. Many thanks! June -- June Andronick CEO of the seL4 Foundation https://sel4.systems/Foundation

1 1

BM9 Minutes up
by Announcements about seL4 -- low volume list 11 Nov '22

11 Nov '22

Dear seL4 Community, The (unconfirmed) Minutes of the 9th Board Meeting (2022-10-13) are now published: https://sel4.systems/Foundation/Board/Minutes/ Gernot

1 0

The videos and slides of the seL4 summit 2022 are available online
by Announcements about seL4 -- low volume list 11 Nov '22

11 Nov '22

The videos and slides of the seL4 summit 2022 are available online Videos of the seL4 summit 2022 are now available on the seL4 YouTube channel [0]! Links and slides can be found on the summit Program [1] and Abstracts [2] pages. Thanks to all the speakers for making the seL4 summit 2022 a great success! [0] https://www.youtube.com/@seL4 [1] https://sel4.systems/Foundation/Summit/program [2] https://sel4.systems/Foundation/Summit/abstracts2022 --- 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

G’Day KataOS
by Announcements about seL4 -- low volume list 21 Oct '22

21 Oct '22

The seL4 Foundation welcomes the open-sourcing of core components of KataOS created by our Member Google. KataOS is based on seL4 and implemented mostly in the Rust programming language. KataOS is to be combined with a secure hardware platform on the RISC-V architecture. This is an exciting addition to the seL4 ecosystem that will ease deployment of seL4-based systems. It also adds improved support for running Rust programs on seL4, which is a hot topic in the seL4 community. --- 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

Panellists for seL4 summit announced
by Announcements about seL4 -- low volume list 26 Sep '22

26 Sep '22

(Apologies for the formatting issues in the last attempt) We are very fortunate to welcome four leaders at major funding agencies to participate in a session "Funding agencies: priorities and vision" at the seL4 summit. They will each give their views on the priorities and vision of their agency in terms of high-assurance systems. https://sel4.systems/Foundation/Summit/ --- 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

Panellists for seL4 summit announced
by Announcements about seL4 -- low volume list 26 Sep '22

26 Sep '22

We are very fortunate to welcome four leaders at major funding agencies to participate in a session Funding agencies: priorities and vision<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies> at the seL4 summit<https://sel4.systems/Foundation/Summit/>. They will each give their views on the priorities and vision of their agency in terms of high-assurance systems. [William “Brad” Martin] William “Brad” Martin<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-dar…> DARPA [Paul Waller] Paul Waller<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-ncsc> NCSC [Cyberagentur] Sebastian Jester<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-cyb…> Cyberagentur [TII] Shreekant (Ticky) Thakkar<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-tii> TII --- 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

Thanks DornerWorks for sponsoring the seL4 Summit 2022
by Announcements about seL4 -- low volume list 19 Sep '22

19 Sep '22

The seL4 Foundation thanks DornerWorks<https://dornerworks.com/> for becoming a Bronze sponsor of the seL4 Summit 2022<http://localhost:8080/Foundation/Summit/>. DornerWorks<https://dornerworks.com/> helps product makers turn their ideas into reality with FPGA, hardware, and embedded software engineering expertise. Among other areas, DornerWorks specialises in seL4 microkernel-based development. Innovative companies are building products on a trusted software base with the guidance of DornerWorks engineers. As a founding member of the seL4 Foundation, DornerWorks can accelerate the integration of seL4 as the trusted software base for your products. If you are interesting in sponsoring the seL4 summit 2022, please contact summit(a)sel4.systems<mailto:summit@sel4.systems>. --- 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