- Announce - lists.sel4.systems

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

Thanks Horizon Robotics for sponsoring the seL4 Summit 2022
by Announcements about seL4 -- low volume list 09 Sep '22

09 Sep '22

The seL4 Foundation thanks Horizon Robotics<https://horizon.ai/> for becoming a Bronze sponsor of the seL4 Summit 2022<https://sel4.systems/Foundation/Summit/>. Horizon Robotics is a global leader in the development of artificial intelligence computing platforms. Its mission is to make driving safer and more convenient as drivers transition to intelligent and self-driving vehicles. Premium member of the seL4 Foundation, Horizon works with members of seL4 Foundation to build mixed-critical platform and solution for next-generation autonomous driving vehicles. 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

seL4 summit: early bird rate ends on 12 Sep 2022
by Announcements about seL4 -- low volume list 07 Sep '22

07 Sep '22

Hi all seL4 Summit 2022: A friendly reminder that there are only a few days left to book a summit ticket at the early bird rate The early bird rate ends on 12 Sep 2022. seL4 Summit 2022 This hybrid event will be held in Munich, Germany, 10-13 October 2022. 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 * A one-day bootcamp with workshops and trainings * Networking with other seL4 experts and enthusiasts * Participation in the mentoring program (for students and junior engineers) For more information, please visit 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

SpacemiT joins the seL4 Foundation
by Announcements about seL4 -- low volume list 31 Aug '22

31 Aug '22

The seL4 Foundation is pleased to welcome SpacemiT! SpacemiT, a semiconductor innovation company focusing on high-performance RISC-V architecture chips, announced that it has officially joined the seL4 Foundation. SpacemiT will work closely with seL4 to promote RISC-V+seL4 and will also focus on the security and performance of the operating system, thus assuring confidence in the security of the RISC-V architecture. --- 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 summit: more info on hobbyist ticket, hotel booking, bootcamp and more
by Announcements about seL4 -- low volume list 26 Aug '22

26 Aug '22

Dear all, Few pieces of information and clarification regarding the seL4 summit: * Hobbyist tickets are available if you’re an seL4 enthusiast working on seL4 outside of your paid job and financing your participation to the summit on your own: hopin.com/events/sel4-summit-2022/registration<https://hopin.com/events/sel4-summit-2022/registration>. * The seL4 bootcamp, offered to on-site participants on the 4th day, with hands-on training on various seL4 technologies, will be at the Edison Park conference centre, which is 900m / 10min walking distance for the INFINITY hotel where the rest of the summit is happening. * The location of both the summit and the bootcamp are close to the airport (4 S-Bahn stops, 20min) and a bit further away from the city (9 stops, 25min to Hauptbahnhof). * The booking of rooms at the INFINITY hotel happens in 2 stages: your registration at the summit allows you to book for the 2 nights of the 10th and 11th of October (confirmation emails for these 2 nights will shortly be sent to people who registered for them). To extend your stay for extra nights before and after these 2 nights, you can use the following special link: book.passkey.com/event/50375651/owner/1468684/home<https://book.passkey.com/event/50375651/owner/1468684/home> (you need to use the link twice, once for the nights before and once for the nights after). The total payment for all nights will be made onsite at the hotel. * For the nights after the seL4 summit, the INFINITY hotel is booked out from the 13th of October. We will shortly post suggestions of alternative hotels for these nights on the host's website<https://hensoldt-cyber.com/sel4-summit-2022/>. * If you’re interested in supporting by sponsoring the seL4 summit and getting free passes and promotion opportunities, please contact summit(a)sel4.systems<mailto:summit@sel4.systems>. * If you have any questions regarding location, venue, and registration, please contact sel4summit.cyber(a)hensoldt.net<mailto:sel4summit.cyber@hensoldt.net>. For all other questions, please contact summit(a)sel4.systems<mailto:summit@sel4.systems>. cheers June & 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

seL4 Summit 2022: Call for Participation!
by Announcements about seL4 -- low volume list 15 Aug '22

15 Aug '22

seL4 Summit 2022: Call for Participation https://sel4.systems/Foundation/Summit/ Join us for this hybrid event, which will be held in Munich, Germany, 10-13 October 2022! 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 * A one-day bootcamp with workshops and trainings * Networking with other seL4 experts and enthusiasts * Participation in the mentoring program (for students and junior engineers) Mentorship program As part of the registration process, attendees have the opportunity to opt-in to a new, informal mentorship program. The purpose of this program is to foster mentorship relationships within the seL4 community. The program committee will match students and junior engineers who wish to participate as mentees with volunteer mentors. Participating attendees will be introduced to their counterparts during the summit, and will carry on afterwards with whatever level of involvement suits both parties. Mentors are welcome to volunteer for any level of involvement. Register for the seL4 Summit 2022! https://hopin.com/events/sel4-summit-2022/registration Further information It is being hosted by HENSOLDT Cyber GmbH, a Munich-based company which develops embedded IT products that meet the highest security requirements, combining an operating system based on verified seL4 with a RISC-V processor that is protected from supply-chain attacks. To learn more, including information on the location, please visit https://hensoldt-cyber.com/sel4-summit-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

Google joins the seL4 Foundation
by Announcements about seL4 -- low volume list 04 Aug '22

04 Aug '22

We are pleased to announce that Google (https://google.com) has joined the seL4 Foundation. We are excited to see their interest in seL4 and look forward to seeing their work with seL4. See https://sel4.systems/news Gernot

1 0