Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada(nlnet.nl)

4 pointsby berkeleynerdhá 2 anos1 comments

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

https://nlnet.nl/project/Ironclad/

1 comments

eggyhá 2 anos

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!