A tiny real-time kernel focusing on formal reliability and simplicity.
This is a first release after many years of development. All architectures are refactored, while bringing multiple new ports.
Added GUI module Added memory management Updated manuals