URL: <https://savannah.gnu.org/patch/?10419>
Summary: Add Ironclad support Group: GNU Libtool Submitter: streaksu Submitted: Sat 02 Dec 2023 09:02:51 PM UTC Category: None Priority: 5 - Normal Status: None Privacy: Public Assigned to: None Originator Email: Open/Closed: Open Discussion Lock: Any _______________________________________________________ Follow-up Comments: ------------------------------------------------------- Date: Sat 02 Dec 2023 09:02:51 PM UTC By: Klaus Schneider <streaksu> 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/>. _______________________________________________________ File Attachments: ------------------------------------------------------- Date: Sat 02 Dec 2023 09:02:51 PM UTC Name: 0001-libtool-add-support-for-Ironclad.patch Size: 4KiB By: streaksu <http://savannah.gnu.org/patch/download.php?file_id=55393> _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/patch/?10419> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/