GNU Libtool - Patches: patch #10419, Add Ironclad support
You are not allowed to post comments on this tracker with your current authentication level.
patch #10419: Add Ironclad support
Submitter: | Klaus Schneider <streaksu> | ||
Submitted: | Sat 02 Dec 2023 09:02:51 PM UTC | ||
Category: | None | Priority: | 5 - Normal |
Status: | None | Privacy: | Public |
Assigned to: | None | Open/Closed: | Open |
Attached Files
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follows 1 latest change.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2023-12-02 | streaksu | Attached File | - | Added 0001-libtool-add-support-for-Ironclad.patch, #55393 |
Powered by Savane 3.13-bb6a.
Corresponding source code
This patch adds support for Ironclad, 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/>.