Prex

Infobox OS
name = Prex



caption =
developer =
source_model = Open source
kernel_type = Microkernel
supported_platforms = x86, Game Boy Advance
ui =
family = Real-time operating systems
released =
latest_release_version =
latest_release_date =
latest_test_version =
latest_test_date =
marketing_target =
programmed_in = C
prog_language =
language =
updatemodel =
package_manager =
working_state =
license = BSD license
website = [http://prex.sourceforge.net/ Prex]

Prex is a portable 32-bit embedded real-time microkernel operating system. The kernel is compact, under 25k bytes, and provides memory management, inter-process communication (messages and shared memory) and multithreading in the kernel, and leaves more application-specific features like a file system to be implemented. It is designed to have virtual memory and memory protection when available. It is currently pre-beta, but runs on x86 PCs and the Game Boy Advance. It has an open source BSD license.

It is programmed in the C programming language, and has a POSIX emulation layer.

Other open source real-time OSs include: eCos, FreeRTOS, MenuetOS, and others.

External links

* [http://prex.sourceforge.net/ Prex official home]