Prerequisites

Prerequisite

Suggestions

Basic development tools (for building the software)

Debian package: build-essential

Bison

Debian package: bison

Flex

Debian package: flex

L4Re (to apply this software)

See https://github.com/kernkonzept/manifest/wiki

libipc

Provided in https://projects.boddie.org.uk/Departure

MoinLight (needed for documentation)

https://projects.boddie.org.uk/MoinLight