Hello,
I attach two patches, one for config.guess, and one for config.sub, that add
support for Ironclad targets.
Ironclad is a formally verified, hard real-time capable kernel for
general-purpose and embedded uses, written in SPARK and Ada. It is comprised of
100% free software, free in the sense that it respects the user's freedom. For
more information, please refer to <https://ironclad.cx/>.
Kind Regards,
streaksu
From ae43e08c475ae25cf160001d98d0cdd6d462ed31 Mon Sep 17 00:00:00 2001
From: streaksu <strea...@protonmail.com>
Date: Sat, 2 Dec 2023 21:30:25 +0100
Subject: [PATCH 1/2] config.sub: add ironclad target
---
config.sub | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/config.sub b/config.sub
index defe52c..7749457 100755
--- a/config.sub
+++ b/config.sub
@@ -1749,7 +1749,7 @@ case $os in
| mirbsd* | netbsd* | dicos* | openedition* | ose* \
| bitrig* | openbsd* | secbsd* | solidbsd* | libertybsd* | os108* \
| ekkobsd* | freebsd* | riscix* | lynxos* | os400* \
- | bosx* | nextstep* | cxux* | oabi* \
+ | bosx* | nextstep* | cxux* | oabi* | ironclad* \
| ptx* | ecoff* | winnt* | domain* | vsta* \
| udi* | lites* | ieee* | go32* | aux* | hcos* \
| chorusrdb* | cegcc* | glidix* | serenity* \
--
2.43.0
From eb3434c632b104aa6b3059f7074b05604e931e51 Mon Sep 17 00:00:00 2001
From: streaksu <strea...@protonmail.com>
Date: Sat, 2 Dec 2023 21:31:23 +0100
Subject: [PATCH 2/2] config.guess: support running on Ironclad systems
---
config.guess | 3 +++
1 file changed, 3 insertions(+)
diff --git a/config.guess b/config.guess
index cdfc439..9b58a90 100755
--- a/config.guess
+++ b/config.guess
@@ -933,6 +933,9 @@ EOF
i*:PW*:*)
GUESS=$UNAME_MACHINE-pc-pw32
;;
+ *:Ironclad:*:*)
+ GUESS=$UNAME_MACHINE-pc-ironclad
+ ;;
*:SerenityOS:*:*)
GUESS=$UNAME_MACHINE-pc-serenity
;;
--
2.43.0