[Savannah-register-public] [task #8825] Submission of davros RTOS kernel

[David Haworth]

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

                 Summary: Submission of davros RTOS kernel
                 Project: Savannah Administration
            Submitted by: drh
            Submitted on: Mon 03 Nov 2008 10:23:11 PM GMT
         Should Start On: Mon 03 Nov 2008 12:00:00 AM GMT
   Should be Finished on: Thu 13 Nov 2008 12:00:00 AM GMT
                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=10058> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

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


= Registration Details =

* Name: *davros RTOS kernel*
* System Name:  *davros*
* Type: non-GNU software & documentation
* License: GNU General Public License v3 or later (Unfortunately the OSEK and
Autosar specifications aren't free.
(www.osek-vdx.org  www.autosar.org) but a free implementation that is at
least partially compatible should not be a problem.)

----

==== Description: ====
Davros is a small, extensible, real-time OS kernel.

It is written mainly in C with some processor-specific parts in the assembly
language of the processor. It is intended to be portable to many current
microcontroller families.

Davros is designed to be extended with personality modules to provide
compatibility with standard OS kernels - initially OSEK(tm) and Autosar(tm)
although others should be possible.

Davros is not intended for production use (although that cannot be completely
ruled out). Rather, it is intended as a basis for developing techniques for
applying features of large-scale kernels in small embedded and/or real-time
systems.


==== Other Software Required: ====
No dependencies.

gcc is the primary compiler, although it should be possible to support other
compilers too. Current sources compile with gcc 4.3.2 and binutils 2.18 for
Arm and PowerPC.

Davros is intended to run on raw hardware so I cannot honestly check the
"runs on free OS" box - but without that check the project is automatically
rejected. Davros should also be capable of running under qemu.

The development environment is just about any GNU OS (primarily GNU/Linux).
The Makefiles assume GNU-make.


==== Other Comments: ====
Davros is very much work-in-progress. The tarball here has limited support
for PowerPC and Arm processors. On Arm, the synchronous context-switching
mechanism appears to work. PowerPC is believed to work too, but lack of
hardware and problems with qemu have stopped work there.

Note: the project is a rewrite of an earlier OS that ran on i386, Tricore and
MSP430 processors.


==== Tarball URL: ====
http://savannah.gnu.org/submissions_uploads/davros-snapshot-2008-11-03.tar.gz






    _______________________________________________________

Reply to this item at:

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

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