Ironclad - News
posted by streaksu, Mon 30 Dec 2024 06:34:06 PM UTC
Ironclad will have an in-person presentation delving into why Ada was chosen for development, advantages of Ada compared with alternatives like C and Rust for the use case of low level development, and how these advantages are used inside Ironclad with the concrete example of driver development inside the kernel, as part of FOSDEM 2025 in [...]
posted by streaksu, Fri 13 Dec 2024 12:07:46 AM UTC
Since the beginning of Ironclad, the design of Takao, the mascot and logo of the project, has served us well, but as Ironclad is starting to be featured in presentations, stickers, and the like, a less mspaint-y, cleaner, SVG logo is in order. The new design was made by myself, trying to retain as much of the [...]
posted by streaksu, Sun 13 Oct 2024 11:22:07 AM UTC
I am glad to announce Ironclad has been given a grant by the NLNet foundation, as part of its NGI Zero Core initiative. NLNet's announcement can be found here. [...]
posted by streaksu, Sun 09 Jun 2024 04:30:08 PM UTC
Ada-Europe holds a convention every year, hosting a program packed with everything Ada. This year's edition will be held in Barcelona, Spain.
Ironclad will have an in-person presentation about the project at large and on the operating system's internals the 14th of June, as part of the
[...]
posted by streaksu, Sat 30 Mar 2024 04:27:06 AM UTC
xz-utils, a popular set of data compression software tools used by tons of software and operating systems has been actually, unbeknownst to us, maintained by a malicious actor for the past 2+ years, and a backdoor (and potentially more) have been added to it. [...]
posted by streaksu, Tue 31 Oct 2023 03:47:28 PM UTC
This release brings a lot of improvements to mainly the scheduling, time keeping, userland, and networking subsystems.
This is a non-exhaustive list of the big changes included in this release:
- Implemented a new scheduling algorithm, based on ARINC partitions.
[...]
posted by streaksu, Thu 19 Oct 2023 03:44:37 AM UTC
The Ada community holds a meetup every month over Jitsi, presenting projects and language news. There will be an Ironclad presentation accompanying it for November's edition. Join if you are interested! It will take place on November 4th 2PM UTC, check out the forum post for further information, or join directly once the time comes here.
posted by streaksu, Thu 31 Aug 2023 11:21:48 PM UTC
I've acquired https://ironclad.cx, my intention with that domain is to use it as the main website of the project, with mirrors for the project's repos and other tools, and maybe a mail server, imitating kernel.org.
Those services will be rolled out slowly, as I am not the best with web stuff, I will learn that slowly, for now, it will
[...]
posted by streaksu, Thu 31 Aug 2023 07:11:54 PM UTC
This release brings a lot of improvements on almost all subsystems of the kernel.
This is a non-exhaustive list of the big changes included in this release:
- Formally verified big chunks of architecture-independent code for AoRTE, SPARKified what was not verified.
[...]
posted by streaksu, Sun 02 Apr 2023 08:01:26 AM UTC
This release brings a lot of improvements on almost all subsystems of the kernel.
This is a terse list of some of the changes included in this release:
- Added support for ATA/SATA drives for x86 machines.
- Added support for PTYs and other kernel-level IPC primitives.
[...]
Powered by Savane 3.14-8e77.
Corresponding source code