From: Fernando Oleo / Irvise <irvise_ml@irvise.xyz>
Subject: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
Date: Thu, 3 Oct 2024 19:38:31 +0200 [thread overview]
Message-ID: <vdmkqn$3qbtc$1@dont-email.me> (raw)
[[Original post can be found in
https://forum.ada-lang.io/t/ironclad-the-hard-real-time-capable-posix-like-kernel-written-in-spark-ada-received-an-nlnet-grant/1281]]
Dear community,
it fills me with joy to announce that Streaksu, the developer of
Ironclad [1] has been given a grant from the nlnet foundation [2],
announcement here [3].
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 [4].
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 [5].
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!
[1] https://ironclad.nongnu.org/
[2] https://nlnet.nl/
[3] https://nlnet.nl/news/2024/20241003-announcing-Core-call.html
[4] https://www.ada-europe.org/conference2024/adadev.html
[5] https://liberapay.com/streaksu/
Best regards and happy hacking!
Fer
next reply other threads:[~2024-10-03 17:38 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-10-03 17:38 Fernando Oleo / Irvise [this message]
2024-10-03 22:12 ` Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant Lawrence D'Oliveiro
2024-10-04 10:28 ` Luke A. Guest
2024-10-04 16:56 ` Fernando Oleo / Irvise
2024-10-04 20:04 ` Lawrence D'Oliveiro
2024-10-04 19:52 ` Kevin Chadwick
2024-10-04 20:05 ` Lawrence D'Oliveiro
2024-10-04 22:19 ` Luke A. Guest
2024-10-04 23:55 ` Paul Rubin
2024-10-05 8:11 ` Lawrence D'Oliveiro
2024-10-05 10:47 ` Luke A. Guest
2024-10-05 23:08 ` Lawrence D'Oliveiro
2024-10-05 16:24 ` DrPi
2024-10-05 16:27 ` Luke A. Guest
2024-10-05 23:10 ` Lawrence D'Oliveiro
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox