18 Apr
2024
18 Apr
'24
6:48 a.m.
Hello! Looking at the LionsOS website and documentation you posted, it seems like Lions is an operating system built using Microkit out of components/drivers that use the sDDF? Do I have the right shape of things in my head? Also, would sDDF drivers for a static OS like Lions (or other OS built in Microkit, since that’s what’s it’s built for) be potentially portable to other operating systems using the seL4 kernel and sDDF? Like, if I design a non-static operating system that uses sDDF drivers, could I use existing code from Lions or would I face issues with code assuming that the system’s components can’t change at runtime? Thanks, Isaac
704
Age (days ago)
707
Last active (days ago)
26 comments
11 participants
participants (11)
-
Andrew Warkentin -
Bob Trower -
David Barrass -
Demi Marie Obenour -
Gernot Heiser -
Hugo V.C. -
Indan Zupancic -
Isaac Beckett -
Michael Neises -
Peter Chubb -
William ML Leslie