occam For All Project: KROC target processors

This is the list of target processors for KROC and the working / interested people.

If you want to develop for a processor please contact the developers and if you join them, let us know. If you want to register an interest, tell us to and we can let you know of things for your target.

Occam For All Team
<ofa-bugs@ukc.ac.uk>
31st March 1997

Occam for All project supported architectures

SPARC - Fairly typical RISC architecture
OFA group <ofa-bugs@ukc.ac.uk> core architecture. Released.
DEC Alpha - Fairly typical RISC architecture
OFA group <ofa-bugs@ukc.ac.uk> core architecture. Released.
Intel x86 - Pretty common but messy architecture
OFA group <ofa-bugs@ukc.ac.uk> core architecture. Released.

Other architectures

Analogue Devices
SHARC (2106x) - DSP device
Marcel Schwirtz <M.H.Schwirtz@el.utwente.nl> at Twente is interested in targetting the AD SHARC DSP. [Got source 0.2beta]

Alastair Allen <a.allen@abdn.ac.uk> at Aberdeen interested.

Dyke Stiles and Ben Abott (below) interested in results.

ARM
RISC architecture
Graham Stott <grahams@rcp.co.uk> will be attempting to target ARM and/or NS320xx [Got sources 0.7beta].
Hewlett Packard
HP HPPA RISC
Zoltan Juhasz <Z.Juhasz@queens-belfast.ac.uk> has students working on retargeting for HP-UX 9.0x. [Got source 0.7beta]
Hitachi
micro controller - Part?; 16 bit
Nobody
Intel (older projects)
x86 - Pretty common but messy architecture
Neil Brock <brock@nexen.com> has offered to try to work on this as an evening project. [Got sources 0.6beta]

Helen Hicks <H.Hicks@doc.mmu.ac.uk> at Manchester Metropolitan University (MMU), England is working on a a DOS or Windows version [Got sources 0.7beta].

Eduardo Bezerra <eduardob@inf.ufrgs.br> has got the translator to modify it and maybe for use on linux.

Dyke Stiles <dyke@stiles.ece.usu.edu> at Utah State University, USA has a student working on this from December 1995 [Got sources 0.81beta].

8XC96?? / MS960?? micro controllers
Jon Kerridge <J.Kerridge@dcs.napier.ac.uk> has a student Damion Yates <thdb86%teach@dcs.shef.ac.uk> (see Project Report) who is working on retargetting occam to it. [Got source 0.2beta, 0.6beta, 0.7beta]
Working with(?) Roger Peel <R.Peel@ee.surrey.ac.uk>
Microcontroller series (80XX) based on 8051 - 8 bit CPUs
Frank van Vugt <F.vanVugt@ehv.tass.philips.com> is working on retargeting occam to this series of machines. [Got source 0.7beta]
Microchip
PIC series - PIC17C42: 64K*16 address space. 55 instructions.
We have a customer for this architecture but no developers for it: Oyvind Teig <teig@autronica.no> at Autronica, Norway queried if we were developing for the Microchip PICs but couldn't offer any resources.
Motorola
Embedded 68000 - 32-bit microprocessor
David Wood <D.C.Wood@ukc.ac.uk> has done most of the work for this already, for a pre-release version of the sources but has not had time to update and finish it.

680x0 in machines
Nobody
68332 - ?
Dyke Stiles <dyke@stiles.ece.usu.edu> and Ben Abbott at Utah State University, USA have a student Rajesh Chhabria <rajesh@multi.ece.usu.edu> working on this. [Got source 0.6beta]
68HC11 - 16-bit single-chip microcontroller
David Wood <D.C.Wood@ukc.ac.uk> has done most of the work for this already, for a pre-release version of the sources but has not had time to update and finish it.

Alastair Allen <a.allen@abdn.ac.uk> at Aberdeen is interested in seeing the results of the work for the 68HC11.

PowerPC - Fairly typical RISC architecture?
OFA group <ofa-bugs@ukc.ac.uk> will investigate this.

Herman Roebbers <herman7@IAEhv.nl> (home) and <roebbers@ms.philips.nl> (work) is interested in doing a PowerPC version. [Got sources 0.2beta, 0.6beta, 0.7beta] He may be working with Andy Bakkers at U. Twente using a YARC PowerPC 601 card.

Alastair Allen <a.allen@abdn.ac.uk> at Aberdeen is interested in this for a Parsytec Xplorer or more general ones - VME PowerPC systems. His student Tim Sheen <eng407@aberdeen.ac.uk> will be working on it. [Got sources 0.2beta, 0.6beta]

National Semiconductor
NS320xx - 32-bit CPU
Graham Stott <grahams@rcp.co.uk> will be attempting to target ARM and/or NS320xx [Got sources 0.7beta].
Texas Instruments
TMS320C40 - DSP device
Dyke Stiles and Ben Abott (above) interested in results.