[task #16130] Submission of Ironclad

[Klaus Schneider]

URL:
  <https://savannah.gnu.org/task/?16130>

                 Summary: Submission of Ironclad
                 Project: Savannah Administration
            Submitted by: streaksu
            Submitted on: Sun 13 Mar 2022 09:15:56 PM UTC
         Should Start On: Sun 13 Mar 2022 12:00:00 AM UTC
   Should be Finished on: Wed 23 Mar 2022 12:00:00 AM UTC
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00

    _______________________________________________________

Details:

A new project has been registered at Savannah.
This project account will remain inactive until a site admin approves
or discards the registration.


= Registration Administration =

While this item will be useful to track the registration process,
*approving or discarding the registration must be done using
the specific Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=12228> page*,
accessible only to site administrators,
effectively *logged as site administrators* (superuser):

* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=12228>


= Registration Details =

* Name: *Ironclad*
* System Name:  *ironclad*
* Type: non-GNU software and documentation
* License: GNU General Public License v3 or later

----

== Description: ==
Ironclad is a hobbyist kernel with the aim of running a full GNU userland.
It is written in Ada, using the GCC toolchain with GNAT and autoconf/make as
its build-system.

The design is highly monolithic, and features a fresh take on VFS's as its
main innovation when compared with other hobbyist kernels in the field, while
trying to remain compatible with POSIX and other standards to ease porting of
software.

The project is in its infancy yet, but progress is happening fast, right now
work is being made for finishing a bash port.


== Other Software Required: ==
autoconf 2.69 - GPLv3+.
GCC/GNAT - GPLv3+ with some exceptions.
binutils - GPLv3
xorriso (testing) - GPLv3
QEMU (testing) - GPLv2


== Other Comments: ==
Right now the project is being hosted on github, where I also host a
distribution of Ironclad, called Gloire, but I would love to switch to a fully
open hosting solution. Just like the kernel, the distribution holds the same
standards for correctness and openess.

https://github.com/streaksu/gloire
https://github.com/streaksu/ironclad


== Tarball URL: ==
https://savannah.gnu.org/submissions_uploads/ironclad.tar.gz






    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/task/?16130>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/