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/
