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

Y	Hacker News new \| ask \| show \| jobs

	Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada (nlnet.nl)
	4 points by berkeleynerd 616 days ago

1 comments

eggy 611 days ago

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!

link