Did anyone identify an Ada which targeted microcontrollers?

[jm59@prism.gatech.edu (John M. Mills)]

Hello --
In the recent thread concerning microcontrollers, I missed whether a viable
Ada or 'mini-Ada' cross-compiler was identified which targets 8-bit micro-
processors.  We are considering assembler or C to code an embedded processor
which will be a "smart controller" -- no O/S, some fixed-point or integer
arithmetic, parallel and possibly serial I/O.  Fixed activity cycle, probably
initiated by interrupt repeating the same activity on several different sets
of I/O addresses with only a few input variables.  We may decide for a simple
packetized control protocol.

This could be done with an i860 or i960 in the shade, but I would like to
consider one of the low-end 8-bitters.  Naturally I expect that GNAT could
or does support either of those types, as they are in the "supported" list
for GCC.

Since this was near the core of a recent thread, perhaps e-mail response
would be appropriate (so I don't interrupt the vital threads of C - Ada
mud slinging, or the eternal: "why do you think that's a microcontroller --
_this_ is a microcontroller!")  In fact, overloading of the recent "Ada
for microcontrollers" thread with this type flaming may have caused me to
miss the answer to my question.

I am interested in commercial or free distributions.  I would like to
consider Ada as a coding alternative.  We expect to replace a processor
card we built 10 years ago which uses 2902 bit-slice parts and home-brew
microcode, so even assembly language would be a great step forward for
maintainability!  Our preliminary code drafts suggest a simple uP could
now meet our speed requirement in assembler or C.  Other than looking at
80C51- and 65C11-scale processors, we can consider alternatives, if they
were supported by an attractive language and development environment.

Regards -- john mills --

-- 
John M. Mills, Senior Research Engineer   --   john.m.mills@gtri.gatech.edu
   Georgia Tech Research Institute, Georgia Tech, Atlanta, GA 30332-0834
        Phone contacts: 404.894.0151 (voice), 404.894.6258 (FAX)
            "Lies, Damned Lies, Statistics, and Simulations"