newsIronclad - News

 
 
Show details for the latest news.

Latest News Approved
Ironclad distributions and the xz-utils backdoor
     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. [...]

Ironclad 0.5.0 released
     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. [...]

Ada Monthly Meetup presentation!
     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.

New domain: ironclad.cx
     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 [...]

Ironclad 0.4.0
     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. [...]

Ironclad 0.3.0 released
     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. [...]

Ironclad 0.2.0 released
     posted by streaksu, Wed 16 Nov 2022 10:05:01 AM UTC

This release is really security and cryptography heavy, with the addition of a lot of important tools in the task of making Ironclad a more resilient and secure platform.

This is a terse changelog of the changes included in this release: [...]

Ironclad 0.1.0 released
     posted by streaksu, Sun 16 Oct 2022 11:35:40 AM UTC

This release marks the start of versioned Ironclad development, following semver rules.

Major release 0 will be maintained until API and features become stable.

Tarballs for this release are available here:
https://download.savannah.nongnu.org/releases/ironclad/

Please contact me directly regarding questions or comments
about this release at streaksu@protonmail.com.

Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code