Name: Assured Reserve Modes
Start: 2024-10-16T13:45:00+1100
End: 2024-10-16T14:15:00+1100

Wednesday October 16, 2024 13:45 - 14:15 AEDT

Banksia + Bluegum

Speakers

Ihor Kuz

Principal Engineer, Kry10

Dr Ihor Kuz is an operating system engineer at Kry10, helping develop the Kry10 OS and Platform. Ihor has previous experience leading the team developing the seL4 microkernel, and has been involved with seL4 for as long as it’s been around. Ihor is a member of the seL4 Foundation's... Read More →

Lance Joneckis

Idaho National Laboratory

Wednesday October 16, 2024 13:45 - 14:15 AEDT
Banksia + Bluegum

Presentations Sessions

seL4 Summit 2024

Ihor Kuz

Lance Joneckis

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!