[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: David Haworth
Subject: [Savannah-register-public] [task #8825] Submission of davros RTOS kernel
Date: Mon, 03 Nov 2008 22:23:12 +0000
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv: Gecko/2008092510 Ubuntu/8.04 (hardy) Firefox/3.0.3


                 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



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
<> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration

= 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.
( 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

==== 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: ====


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]