
                 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.

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

        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.
