descriptionPrex RTOS mirror
homepage URLhttp://prex.sourceforge.net/
ownerandrewd.lists@gmail.com
last changeSun, 9 Dec 2007 06:18:10 +0000 (9 17:18 +1100)
content tags
add:
readme

The Prex project is an open source initiative to provide a portable real-time operating system for embedded systems. Prex is designed specifically for small memory footprint platforms. It is written mainly in C language based on traditional microkernel architecture.

The Prex kernel provides only fundamental features for task, thread, memory, ipc, exception, and synchronization. The other basic OS functions - process, file system, application loading, and networking, are provided by the user mode servers. In addition, Prex provides a POSIX emulation layer in order to utilize existing *NIX applications. This design allows the system to perform both of the native real-time task and the generic UNIX process simultaneously without degrading real-time performance. Furthermore, it helps platform designers to construct OS by choosing suitable server tasks for their target requisition.

This repository contains a branch "prex" for the official prex releases plus additional enhancements in "master" for changes that haven't been merged into the main prex tarball.

shortlog
2007-12-09 Andrew Dennisonprex: cleanup configuration mecahnism changes introduce... master
2007-12-09 Andrew Dennisonprex: set debug CPPFLAGS too
2007-12-09 Andrew Dennisonadd support for crt{i,n} - required for powerpc EABI
2007-12-09 Andrew Dennisonadd PREX_USER_PLATFORM - allows userspace to be built...
2007-12-09 Andrew Dennisonprex: minimise effect of race condition in wait_event_i...
2007-12-09 Andrew Dennisonadd optimisation related macros: likely(), unlikely()
2007-12-09 Andrew Dennisonprex: support printing % for %% in format
2007-12-09 Andrew Dennisonprex: support field width for %s
2007-12-09 Andrew Dennisonprex: const correctness for device_open()
2007-12-09 Andrew Dennisonprex: add an install target
2007-12-09 Andrew Dennisonprex: recurse subdirectories with make instead of using...
2007-12-09 Andrew Dennisonprex: force resched when current thread lowers priority...
2007-12-09 Andrew Dennisonprex: assert if printf() overflows it's buffer
2007-12-09 Andrew Dennisonprex: make MAX_INHERIT work
2007-12-09 Andrew Dennisonprex: clear thread magic before freeing thread
2007-12-09 Andrew Dennisonprex: add timeout parameter to cond_wait()
...
heads
16 years ago master
16 years ago prex