Dear seL4 community,

We’re happy to announce the first new member since the launch of the seL4 Foundation: Sydney-based company Breakaway Consulting.

Through Founder and Managing Director Ben Leslie, Breakaway comes with 20 years of experience in L4 microkernels and systems based on various L4 kernels. Prior to founding Breakaway, Ben was a student with what is now the TS Group, and then VP Engineering of Open Kernel Labs.

Breakaway offers consulting services on architecture, design and implementation of seL4-based systems.

Gernot seL4 Foundation Chair