MINIX with the changes from the llvm_squashed branch needed for OSIRIS and HSFI - View it on GitHub