Real-Time Operating SystemThe Plasma Real Time Operation System (RTOS) was created to run on the Plasma CPU. It supports interrupts, threads, semaphores, mutexes, message queues, timers, heaps, and pre-emptive context switching. The RTOS is written in about 1500 lines of C and 240 lines of assembly that compiles to less than 8 KB of code.
Additional libraries include an ANSI-C library, a single precision floating point library, and a serial port driver. The ANSI-C library and serial port driver generate an additional 7 KB of executable code.
The source code is available at the OpenCores website under the Plasma project.