Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Adanlnet.nl 4 pointsberkeleynerd1 year ago1 commentSaveHideCopy link On HNComments−eggy1yI 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!
Comments
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!