My little playground for an microkernel OS.
The development will happen on the develop branch and features will be created in features branch.
You can use Toolchain/prepare-toolchain.sh to bulid a usable toolchain. If a prebuild version exists it will download it for you.