Welcome to Controlix!
Controlix is an orthogonal, synchronous operating system kernel written in the SpecC language and is designed to be modular and retargetable.
What makes Controlix unique?
Based on the SpecC language for concurrent, verifiable and synthesizable programming. Run the same systems code in userspace, as an OS on a CPU-based system, in parallel on an FPGA or even masked into an integrated circuit.
Retargetable interfaces for virtual implementation and portability. Drive systems from a high level of abstraction all the way down to netlist-type "bare wire" layouts.
Control hierarchies for generic modularity and extensibility. Full modularity and extensibility.
ISO networking abstraction for maximum scalability and standard interoperability. Mix controls into generic systems flows with TCP/IP standards for intercommunication.
Standard generic virtual circuit architecture for portability (see the [Controlix virtual circuit] document).