Currently written in C++17. It will be replaced by its own programming model.

You will need to clone and compile Wasm Binaryen for this target.

BINARYEN_BIN=binaryen/bin/ make build/Symatem.wasm

make runMP

make runTests

Combined with UnikernelExperiments this will be an intermediate platform to test the entire RTE functionality in the future. Later on we might switch to RISC-V as an ISA for running on the hardware directly without any additional layers.

• No goto, dynamic_cast and virtual methods
• No new/delete, malloc/free => custom memory allocator
• No recursion/alloca => fixed stack bounds
• No StdLibC++ => core is zero dependency
• No exceptions