[Savannah-register-public] [task #13737] Submission of Robigalia

[Corey Richardson]

URL:
  <http://savannah.nongnu.org/task/?13737>

                 Summary: Submission of Robigalia
                 Project: Savannah Administration
            Submitted by: cmrx64
            Submitted on: Mon 14 Sep 2015 03:27:20 AM EDT
         Should Start On: Mon 14 Sep 2015 12:00:00 AM EDT
   Should be Finished on: Thu 24 Sep 2015 12:00:00 AM EDT
                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.nongnu.org/siteadmin/groupedit.php?group_id=11506> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

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


= Registration Details =

* Name: *Robigalia*
* System Name:  *robigalia*
* Type: non-GNU software and documentation
* License: Expat License (sometime refered to as MIT License) (Dual-licensed
with Apache 2.0, some components will be BSD 2-clause or GPL due to being
derived from certain components of seL4.)

----

==== Description: ====
The Robigalia project exists to create a Rust ecosystem around the seL4
microkernel.

As a specific goal, we aim to create a conforming POSIX environment on seL4
called "robigo".


==== Other Software Required: ====
seL4, GPLv2/BSD 2-clause, http://sel4.systems/
Rust language, Expat/Apache 2.0, http://rust-lang.org/


==== Other Comments: ====
We'll have a few source repositories and only one component is finished right
now.


==== Tarball URL: ====
https://github.com/robigalia/rust-sel4/archive/master.tar.gz






    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/task/?13737>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/