From f4c2a1e0baf7866580f5088d767a2a47d6766fb6 Mon Sep 17 00:00:00 2001 From: Streaksu Date: Sat, 15 Oct 2022 01:50:03 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7dafa9f..9c83287 100644 --- a/README.md +++ b/README.md @@ -298,7 +298,7 @@ A curated list of awesome resources related to the Ada and SPARK programming lan - [cxos](https://github.com/ajxs/cxos) - Ada Operating System development example. - [havk](https://github.com/RavSS/HAVK) - x86-64 security-focused OS being created with SPARK. - [cubit](https://github.com/docandrew/CuBit) - CuBitOS is a multi-processor, 64-bit, (partially) formally-verified, general-purpose operating system, currently for the x86-64 architecture. -- [ironclad](https://github.com/streaksu/Ironclad) - A kernel for x86_64 devices striving for POSIX compatibility, used on several distributions like [Gloire](https://github.com/streaksu/Gloire). +- [ironclad](https://nongnu.org/ironclad) - A kernel for several architectures striving for POSIX compatibility, used on several distributions like [Gloire](https://github.com/streaksu/Gloire). ## Games - [steamsky](https://thindil.github.io/steamsky) - Roguelike in sky with a steampunk setting.