Barrelfish OS is an open-source operating system that supports a range of x86 and ARM CPUs, as well as specific hardware like the Intel Xeon and ARM VExpress. The repository includes tools for building and running the OS, and provides instructions for contributing to its development. Documentation is available online and can also be generated from the source code.
Sort: