Oskit
SimOS is an OS that will be based on the OSKIT function library. In addition we will be maintaining the oskit as a seperate release, updated as the core of the kernel. This OS will be easy to use, with numerous software versions on it.
Platforms: *nix
License: Freeware | Size: 10.86 MB | Download (41): SimOS Download |
RMoX is an experimental/research occam-pi/CSP based operating-system for (currently) Pentium based PCs. CSP provides a solid foundation for describing and reasoning about parallel systems and their interactions. The occam-pi language is an enhanced version of occam (based on CSP), that adds...
Platforms: *nix
License: Freeware | Size: 225.28 KB | Download (93): RMoX Download |