azoriousrange

2 ms·

1. 1.▲
   by azoriousrange 3y ago

   From my basic understanding of RTEMS, they are similar on the surface, but Ironclad has a wholly different set of aims. While RTEMS aims to provide an extremely lightweight and easily embeddedable system (and thus it forgoes things like per
2. 2.▲
   Ironclad: A formally verified, hard real-time capable kernel in Ada(ironclad.nongnu.org)

   31 points by azoriousrange 3y ago|4 comments
3. 3.▲
   by azoriousrange 3y ago

   Seeing the interest for OSes submitted recently with rust and safety as a main concern, what about this little formally verified Ada/SPARK kernel? It also has a distribution called Gloire at https://github.com/streaksu&