[patch #10419] Add Ironclad support

[Klaus Schneider]

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/