Symbolic execution lab for the d7020e course at LTU.
From C code to assembly
Lab2 Rust in Rust, parsing to syntax tree.
A simple multi-processing kernel
User code and a kernel
Pipelined MIPS
Getting started