[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Adding Ironclad to config.sub and config.guess
From: |
streaksu |
Subject: |
Adding Ironclad to config.sub and config.guess |
Date: |
Sat, 02 Dec 2023 20:34:44 +0000 |
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
0001-config.sub-add-ironclad-target.patch
Description: Text Data
0002-config.guess-support-running-on-Ironclad-systems.patch
Description: Text Data
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Adding Ironclad to config.sub and config.guess,
streaksu <=