[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:1.9.0.3) Gecko/2008092510 Ubuntu/8.04 (hardy) Firefox/3.0.3 |
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/
- [Savannah-register-public] [task #8825] Submission of davros RTOS kernel,
David Haworth <=