KRoC Downloads
Downloads of released versions of KRoC are available here. Due to restrictions
on the distribution of some components, we can only freely supply binary
kits for many of these releases. We are attempting to release source kits
in the near future.
The latest release is KRoC 1.3.0 which is only available as a the source
release for Linux on PCs. (Note that the translator in this version, tranpc,
only generates i386 code).
- Linux (Full GPL Source Release)
-
Occam 2.1 language (RECORDS and DATA TYPEs). An occam/C interface
tool and good Linux support. New! support for using system calls without
blocking the microkernel. Includes standard libraries (hostio.lib,
streamio.lib etc.), language documentation, examples and exercises.
The sources for the compiler are released under the GNU General Public
License (with libraries under the Lesser GPL).
For downloads and install information, visit
the KRoC website.
KRoC Author: Occam For All Group (ofa-bugs@kent.ac.uk)
Compiler Author: SGS-Thompson Ltd, with modifications by OFA. Used
with permission.
- SunOS and Solaris (Binary Release only - for the moment)
-
occam 2.1 language (RECORDS and DATA TYPEs) has an occam/C interface
tool and has separate compilation support (#USE). Includes standard
libraries (hostio.lib, streamio.lib etc.), language documentation,
examples and exercises.
Author: Occam For All Group (ofa-bugs@kent.ac.uk)
- Alpha OSF (Binary Release only - for the moment)
-
occam 2.1 language (RECORDS and DATA TYPEs) has an occam/C interface
tool and has separate compilation support (#USE). Includes standard
libraries (hostio.lib, streamio.lib etc.), language documentation,
examples and exercises.
Author: Occam For All Group (ofa-bugs@kent.ac.uk)
- Parsytec Power Xplorer (Binary Release only - for the moment)
-
occam 2.1 language (RECORDS and DATA TYPEs) has an occam/C interface
tool and the first release of Linux support. Includes standard libraries
(hostio.lib, streamio.lib etc.), language documentation, examples
and exercises.
This is the binary release with multi processor scheduler of the
Aberdeen port of KRoC to the PowerPC architecture. It is based on
KRoC 0.7 Beta. The port has been developed for the Parsytec Power
Xplorer with PowerPC 601 processors. It is based on Parix version
1.2 with a Sun host running Solaris 2.5.
Anyone interested in porting the system to other PowerPC based operating
systems should contact the first author.
Authors: Alastair Allen (eng267@abdn.ac.uk)
and Andreas Ripke (A.Ripke@eng.abdn.ac.uk).
|
