1 result found Sort:

redox-os
redox redox-os
925
15.2k
mit
603
Mirror of https://gitlab.redox-os.org/redox-os/redox
bsd gnu rust sel4 linux minix plan9 posix redox freebsd openbsd gnu-hurd microkernel open-source operating-system
Created 2015-04-20
3,794 commits to master branch, last one 4 days ago