# Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
**URL:** https://forum.ada-lang.io/t/ironclad-the-hard-real-time-capable-posix-like-kernel-written-in-spark-ada-received-an-nlnet-grant/1281
**Category:** General
**Tags:** spark
**Created:** [October 3, 2024, 5:20pm UTC](https://forum.ada-lang.io/t/ironclad-the-hard-real-time-capable-posix-like-kernel-written-in-spark-ada-received-an-nlnet-grant/1281 "2024-10-03T17:20:55Z")
**Posts on this page:** 2
**Page:** 1
### Author:  [@Irvise](https://forum.ada-lang.io/u/Irvise)
#### Post date: [October 3, 2024, 5:20pm UTC](https://forum.ada-lang.io/t/ironclad-the-hard-real-time-capable-posix-like-kernel-written-in-spark-ada-received-an-nlnet-grant/1281/1 "2024-10-03T17:20:55Z")
Dear community,
it fills me with joy to announce that Streaksu, the developer of [Ironclad](https://ironclad.nongnu.org/) has been given a grant from the [nlnet foundation](https://nlnet.nl/), [announcement here](https://nlnet.nl/news/2024/20241003-announcing-Core-call.html).
If you would like to learn more about Ironclad and the Gloire distribution, Streaksu presented the project during AEiC 2024. You can find the slides and video [here](https://www.ada-europe.org/conference2024/adadev.html).
If you are interested in Ironclad/Gloire, you can check the git repos from the main webpage, join the Matrix/Element chatroom or maybe even sponsor Streaksu over at his [liberapay page](https://liberapay.com/streaksu/).
I am very happy to see that Streaksu applied for a grant and was accepted. This is what I want to see more of in the community. People creating very cool projects that they enjoy working on. Then promoting them and seeing if they can make the development of such projects a little bit more sustainable for themselves. This also disproves that “Ada projects” are not liked or as seen as old by foundations or other funding groups.
I am very happy for Streaksu and I hope to test Ironclad in a RISC-V board soon!
Best regards and happy hacking!
Fer
---
### Author:  [@Micronian2](https://forum.ada-lang.io/u/Micronian2)
#### Post date: [October 5, 2024, 7:04pm UTC](https://forum.ada-lang.io/t/ironclad-the-hard-real-time-capable-posix-like-kernel-written-in-spark-ada-received-an-nlnet-grant/1281/2 "2024-10-05T19:04:39Z")
There is some discussion about it below in case anyone is interested to join in:
> **[Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada...](https://lobste.rs/s/dmmlta/ironclad_hard_real_time_capable_posix)**
>
> 6 comments