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/