[task #16483] Submission of x15 kernel

[Agustina Arzille]

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

                 Summary: Submission of x15 kernel
                   Group: Savannah Administration
               Submitter: avarzille
               Submitted: Wed 10 Jan 2024 11:25:02 PM UTC
         Should Start On: Wed 10 Jan 2024 12:00:00 AM UTC
   Should be Finished on: Sat 20 Jan 2024 12:00:00 AM UTC
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any


    _______________________________________________________

Follow-up Comments:


-------------------------------------------------------
Date: Wed 10 Jan 2024 11:25:02 PM UTC By: Agustina Arzille <avarzille>
A new group has been registered at Savannah.
This group will remain inactive until a site admin approves
or discards the registration.


= Registration Administration =

Approving or discarding the registration must be done using the specific
[https://savannah.gnu.org/siteadmin/groupedit.php?group_id=12338 Group
administration] page, accessible only to site
administrators logged in as superusers.

= Registration Details =

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

----

== Description: ==
X15 is an open source real-time microkernel intended to provide a performant
and scalable environment for cache-coherent multiprocessor machines.


== Other Software Required: ==
gcc: GPLv3 - gcc.gnu.org
gnu make: GPLv3 - https://www.gnu.org/software/make/



== Tarball URL: ==
https://notabug.org/avarzille/x15









    _______________________________________________________

Reply to this item at:

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

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