Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada
(opens in new tab)
(nlnet.nl)
4 points
berkeleynerd
1y ago
1 comments
Share
Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada | Better HN
1 comments
default
newest
oldest
eggy
1y 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!
j
/
k
navigate · click thread line to collapse
