Documentation

Phoenix - microkernel for fault tolerant distributed systems

Pawel Pisarczyk's Master of Science Thesis about Phoenix prototype development (polish version).
Process scheduler for a distributed system

Master of Science Thesis of Joanna Swiderska about distributed scheduling alghoritms implemented and tested in Phoenix prototype (polish version).
Applying Phoenix-RTOS for making embedded systems on ARM

Bachelor of Science Thesis of Radoslaw F. Wawrzusiak about porting Phoenix-RTOS to ARM7 architecture - Phillips LPC2000 microcontroller family (polish version).
How to boot Phoenix prototype

Simple instruction how to use demo floppy to test Phoenix prototype.
How to compile plo for PPC32

Instructions how to build Phoenix Loader for machines with OpenFirmware. Please note that the loader is not necessary for newer machines which are able to load ELF object from the network.
Experimental dependability evaluation of memory manager in the real-time operating system

The paper presents results of experimental dependability evaluation of the Phoenix-RTOS operating system. Experiments are conducted using a self-developed testing environment and a kernel fault injector. Dependability evaluation is the last stage of a system development process. Results will be used in the future research to propose enhanced error detection techniques embedded into the operating system kernel.