aa-kernel is an embedded multi-tasking operating system for 32/64 bit ARM platforms. It is principally designed to be useful as the software component in FPGA/SoC design projects. See aa-hardware, also on my Github, for examples of these. Documentation, including the overview, can be found in /doc.