- 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

The seL4 summit Program is available
by Announcements about seL4 -- low volume list 29 Jun '22

29 Jun '22

Have a look at the seL4 summit Program! We have an amazing line-up of cool seL4 work, with a combination of technical research and development, experience reports of seL4 in the field, technical discussions and Birds-of-a-feather sessions, as well as a whole day of seL4 bootcamp with tutorials and training. https://sel4.systems/Foundation/Summit/program <https://sel4.systems/Foundation/Summit/program> Stay tuned for registration information, and see you in Munich in October! June

1 0

LatticeX joins the seL4 Foundation!
by Announcements about seL4 -- low volume list 17 Jun '22

17 Jun '22

The seL4 Foundation is pleased to welcome LatticeX! LatticeX Foundation cultivates academic research, technology advancements and industrial applications in the fields that foster the development of LatticeX ecosystem. LatticeX is the vision of large-scale distributed network supporting the expansive economy activities and broader business applications where users can recognize the sovereignty and privacy of their own data, and leverage the ecosystem of sophisticated computing technologies to collaboratively unearth the value of data and benefit from data-value transactions throughout. Yuning Liang, LatticeX Foundation Security Advisor said: "We are so glad to join seL4 foundation. Hopefully, we can specialise seL4 technology into the web 3.0 domain from cross chain bridge node OS to hardware wallet OS for improving their security and stability." --- 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

One week left to propose a talk at the seL4 summit 2022!
by Announcements about seL4 -- low volume list 02 May '22

02 May '22

A reminder that you have until Monday 9th of May 2022 to propose a talk for the seL4 Summit 2022 :) http://sel4.systems/news/2022 <http://sel4.systems/news/2022> http://sel4.systems/Foundation/Summit/ <http://sel4.systems/Foundation/Summit/> http://sel4.systems/Foundation/Summit/cfp <http://sel4.systems/Foundation/Summit/cfp>

1 0

The seL4 Summit 2022 will be in Munich, Germany, on 10-12 Oct 2022
by Announcements about seL4 -- low volume list 29 Apr '22

29 Apr '22

It is our pleasure to confirm that the seL4 Summit 2022 will be in: Munich, Germany in the week of Oct 10th, 2022 It will be hosted by seL4 Foundation member Hensoldt Cyber. It will be a hybrid in-person/online event (if you'd like to propose a talk to be delivered remotely, please notify it in the submission). Remember that you have until Monday 9th of May 2022 to propose a talk. https://sel4.systems/news/2022 https://sel4.systems/Foundation/Summit/ https://sel4.systems/Foundation/Summit/cfp

1 0

The Call for Presentations for the seL4 summit 2022 is out!
by Announcements about seL4 -- low volume list 30 Mar '22

30 Mar '22

We are calling for proposals to present at the seL4 Summit 2022! Share your seL4 work. Share your seL4 experience. Share your seL4 thoughts. Share your seL4 questions. Check the full Call For Presentations and topics of interest at: https://sel4.systems/Foundation/Summit/cfp To propose a talk, send an abstract of one page or less by Monday 9th of May 2022 to summit(a)sel4.systems. Please do spread the word and also encourage others to submit a talk if you like their work! Thanks, June

1 0

Meet the Program Committee of the seL4 summit 2022
by Announcements about seL4 -- low volume list 18 Mar '22

18 Mar '22

The seL4 Foundation is excited to present the Program Committee for the seL4 summit 2022! https://sel4.systems/news/2022#summit-pc <https://sel4.systems/news/2022#summit-pc> https://sel4.systems/Foundation/Summit/ <https://sel4.systems/Foundation/Summit/> Stay tuned for the Call for Presentation soon! June

1 0