Ironclad - News
posted by streaksu, Wed 09 Apr 2025 09:58:18 AM UTC
Please read https://blog.ironclad-os.org/articles/Moving-RSS-feeds-and-infrastructure-to-Codeberg.html
posted by streaksu, Fri 04 Apr 2025 09:38:17 AM UTC
Ironclad will have an online presentation that will cover what we do different when compared with Linux and other prominent FOSS OSes, what makes the project interesting, and it will dig into formal verification, what it is, how we apply it, and what cool things it allows us to do.
The presentation will be held Mon Apr 14 at 11 AM PST at https://meet.jit.si/IroncladIEEEPresentation. See you there!
posted by streaksu, Tue 04 Mar 2025 09:42:15 PM UTC
This release marks the first release of util-ironclad, the ironclad
alternative for util-linux that distro maintainers can use for
providing system management userland utilities like blkid, ps, dmesg,
lspci, mount/umount, and the like.
[...]
posted by streaksu, Sun 02 Mar 2025 07:37:36 PM UTC
Ironclad will be moving for its donations to Stripe from Paypal. This
is done to make our processing easier and allowing people to do
donations without a PayPal account, just using a credit card or
bank transfer. We feel this is way more privacy respecting and will
[...]
posted by streaksu, Fri 31 Jan 2025 11:39:17 PM UTC
This release comes after a long gap of releases, and has had massive work done on
almost every aspect of the kernel. Because of this, I find it hard to summarize
the changes, but a gist of it is:
This is a non-exhaustive list of the big changes included in this release:
[...]
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. [...]
Powered by Savane 3.15-4cd8.
Corresponding source code