UlyssesZhanNov 9
nixCraft šŸ§
Ironclad is a real time, UNIX-like OS kernel built using SPARK and Ada for formal verification. This makes it highly robust and reliable for general purpose and embedded use case. It offers a familiar POSIX compatible interface, supports true simultaneous preemptive multitasking, and includes features like Mandatory Access Control (MAC) and hard real time scheduling. It comes with 100% free software. https://ironclad-os.org/
Ironclad

Ironclad is a free software formally verified kernel written in SPARK/Ada

Nov 9 at 4:10amWeb
Show threadFuchsiii~~~Nov 9
@nixCraft Iā€™m familiar with Ada and enjoyed tinkering with it in the past (I got curious because it looked a lot like Pascal/Delphi, which I know relatively well) but I never heard about SPARK.
Show threadKevin Karhan Nov 9
@fuchsiii @nixCraft granted this really could be a gamechanger where it truly counts and where clock-accurate instruction execution is considered the bare minimum for acceptance...
Kevin Karhan :verified: (@[email protected])

@[email protected] this makes total sense for #CriticalInfrastructure control systems as well as #aerospace applications. - Which is good because there needs to be more competition to the likes of #VxWorks! #RTOS #Realtime #OS #OperatingSystem #FLOSS #Irobclad #IroncladOS

Infosec.Space
Show threadKevin Karhan Nov 9

@nixCraft this makes total sense for #CriticalInfrastructure control systems as well as #aerospace applications.

  • Which is good because there needs to be more competition to the likes of #VxWorks!

#RTOS #Realtime #OS #OperatingSystem #FLOSS #Irobclad #IroncladOS

Show threadR.L. Dane    šŸµ Nov 9

@nixCraft

This is super neat.

MOAR quirky UNIXes, PLOX!!!

Show threadeickotNov 10
@nixCraft I epect this OS will support to develop with ada easily, right???
Show threadKevin Karhan Nov 11
@eickot @nixCraft it should ideally be a self-hosting development envoirment but even if it's just a better #VxWorks that'll already be nice!