1 result found Sort:

redox-os
redox redox-os
926
15.2k
mit
604
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,822 commits to master branch, last one a day ago