August 2022 - Announce - lists.sel4.systems

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