Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada

by berkeleynerd on 10/4/2024, 11:22:50 AM with 1 comments

  • by eggy on 10/10/2024, 2:19:23 AM

    I am looking to create my show control software in SPARK2014/Ada, so I'll have to see if I can have Ironclad run on an AMD or Intel board and interface with my controller. Looks very promising!