- Announce - lists.sel4.systems

release window
by Announcements about seL4 -- low volume list 01 Apr '21

01 Apr '21

Hi all, It's time for the next release of seL4 and associated frameworks. This email is to announce a release window closing on 30/04/2021. If you or your organization have any changes you would like to be in the upcoming release they will need to be reviewed and merged before this date. Happy hacking, Trustworthy Systems

1 0

Welcome Raytheon Technologies, latest member of the seL4 Foundation!
by Announcements about seL4 -- low volume list 05 Mar '21

05 Mar '21

Members of the Raytheon Technologies team have been long-time core participants in the seL4 ecosystem, predating the company’s formation in 2020, which brought together Raytheon Company and United Technologies’ aerospace businesses, Collins Aerospace and Pratt & Whitney. Collins Aerospace was a prime contractor in the DARPA HACMS program, which demonstrated the seL4-based incremental cyber retrofit of autonomous military vehicles. This was a major milestone in the growth of seL4, demonstrating that it protects against cyber attacks on real systems in operation. The same Raytheon Technologies team now leads the follow-on DARPA CASE program, aiming at designed-in cyber-resiliency, including the seL4-based framework for verified initialisation and configuration of systems architectures. Welcome Raytheon! Gernot for the seL4 Foundation

1 0

seL4 Foundation provides interim endorsement for HENSOLDT Cyber
by Announcements about seL4 -- low volume list 23 Feb '21

23 Feb '21

Dear seL4 community, I’m please to announce that the seL4 Foundation has extended Interim Endorsement as Trusted Service Provider to HENSOLDT Cyber, for consulting and development services for seL4-based systems. About HENSOLDT Cyber services and products: https://sel4.systems/Foundation/Services/hc.pml.html About the seL4 Foundation Interim Endorsement program: https://sel4.systems/Foundation/Services/endorsement.pml.html Gernot Chairman, The seL4 Foundation

1 0

seL4 Foundation endorses service providers
by Announcements about seL4 -- low volume list 16 Feb '21

16 Feb '21

It is a pleasure to announce that the seL4 Foundation has commenced providing interim endorsement for trusted service providers for seL4. These may apply to consulting and development services as well as for training. In a first step, the Foundation has given interim endorsement to the following trusted service providers (in the order of approval): • DornerWorks Ltd • Breakaway Consulting Pty Ltd • Cog Systems Inc Interim endorsement is intended to lead to full certification; the Foundation will work with interim endorsees and the general membership on developing certification schemes. More detail is available on the Foundation site: https://sel4.systems/Foundation/Services/ Gernot Chairman, seL4 Foundation

1 0

seL4 Foundation welcomes new member Penten
by Announcements about seL4 -- low volume list 08 Feb '21

08 Feb '21

Dear seL4 community, On behalf of the seL4 Foundation I’m please to welcome Penten Pty Ltd as our newest member. Penten is based in Canberra, Australia, and specialises in secure communications technology and artificial intelligence. Penten has been developing seL4-based products for a number of years, some of which are in daily use in multiple defence forces. Gernot Heiser Chairman, seL4 Foundation

1 0

seL4 YouTube Channel
by Announcements about seL4 -- low volume list 31 Dec '20

31 Dec '20

Dear seL4 community, As some of you have already noticed, we now have a YouTube channel run by the seL4 Foundation: https://www.youtube.com/channel/UCIqVY1XFPOPIZ1z2A9TrmMA/about. It presently has two playlists, one with the recordings of the seL4 material from this year’s UNSW Advanced Operating Systems course, and one with seL4 Summit talks from Trustworthy Systems. More to come, enjoy Gernot

1 0

Talk at RISC-V Summit
by Announcements about seL4 -- low volume list 05 Dec '20

05 Dec '20

Dear seL4 community, I’d like to let you know that I’ll be talking at the RISC-V Summit next week: https://l.feathr.co/landing-page--risc-v-2020---speakers-gernot-heiser Gernot

1 0

November release
by Announcements about seL4 -- low volume list 09 Nov '20

09 Nov '20

Announcing the releases of seL4, CAmkES and CapDL under the seL4 Foundation. Below you can find links to release notes with updates to other supporting projects to come before the end of the year. Versioned Releases: * seL4 12.0.0 ~ https://docs.sel4.systems/releases/sel4/12.0.0 * CAmkES 3.9.0 ~ https://docs.sel4.systems/releases/camkes/camkes-3.9.0 * CapDL 0.2.0 ~ https://docs.sel4.systems/releases/capdl/0.2.0 For more information on who we are, what we do and how to contact us see: https://sel4.systems/Foundation/ https://docs.sel4.systems/processes/#contact 🙂

1 0

Invitation to Attend the 3rd seL4 Summit
by Announcements about seL4 -- low volume list 15 Oct '20

15 Oct '20

Dear seL4 Community, The 3rd seL4 Summit will take place (virtually) on 15–18 November (US East Coast time). The program features a tutorial and 3 days packed with great talks and panels, see https://na.eventscloud.com/file_uploads/a236a51b4b76609e82fcc316992b73f4_20… Presentations will be streamed according to the schedule and available for download right after, and there will be an on-line discussion forum. Registration is only $80US: https://na.eventscloud.com/ereg/index.php?eventid=579066& Gernot

1 0

seL4 Summit 2020 - Call for Presentations *extended* to Sep 15.
by Announcements about seL4 -- low volume list 10 Sep '20

10 Sep '20

The deadline for abstracts for the 2020 seL4 Summit Call for Presentations has been extended to September 15, 2020. Correspondingly, the Author Notification date has also been extended to September 30, 2020. A copy of the Call for Presentations with the revised dates is include below. Dear colleagues, You are cordially invited to submit an abstract for consideration for presentation during the 3rd Annual seL4 Summit (supported by DARPA and AFRL), to be held virtually on November 15-18, 2020. seL4 is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The seL4 Summit is part of an effort to establish a Center of Excellence (COE) focused on seL4 ecosystems, aiming to mature the seL4 technology, stabilize the software distribution, train and expand the user base, and develop needed capabilities. The development of seL4, originally developed by NICTA and now supported by CSIRO’s Data61 in Australia, and the development of the COE supported by the Defense Advanced Research Projects Agency (DARPA), share a common focus where both efforts aim to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. For information about the First and Second seL4 Summit, please visit the Summit website at https://www.sel4-us.org/summit2020. The Organizing Committee invite researchers and practitioners from academia, industry, and government to present work of interest to the seL4 community during the Third Annual seL4 Summit. The abstract should include a title, name of the presenter, organization, a brief description of the work (or work in progress), and its relevance to seL4 and building assured systems. Interested topics include, but are not limited to, the following: - OS Kernel Design - Building Assured Systems - seL4 Center of Excellence and Ecosystem - Government Efforts - Capabilities and Applications based on a Microkernel - Embedded and Cyber Physical System - Formal Verification and Tools - Trusted Execution Environment - Correctness by Construction - Secure and Resilient Systems - Maturity, Assurance, and Transition - Artifacts and Certification Important Dates - Call for Presentation Submissions Due: originally 08/28/2020 extended to 09/15/2020 - Author Notification Due: originally 09/18/2020 extended to 09/30/2020 - Final Video (with sound) Presentation Due: 10/23/2020 Extended Abstracts for Presentation should be sent to Summit2020(a)sel4-us.org. seL4 Center of Excellence Organizing Committee - Douglas, Schafer AFRL - Jason Li, Siege Tech - Jerry Dussault, Griffiss Inst. - June Andronick, Data61 - Raymond Richards, DARPA I2O - Robbie VanVossen, DornerWorks - Renato Levy, IAI - Todd Carpenter, Adventium Labs

1 0