From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,9b30240b5a381bbf X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-08-29 09:03:52 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!cambridge1-snf1.gtei.net!news.gtei.net!inmet!not-for-mail From: Tucker Taft Newsgroups: comp.lang.ada Subject: Re: Ada 95 for an ARM-based bare board? Date: Thu, 29 Aug 2002 12:03:51 -0400 Organization: SofCheck, Inc. Message-ID: <3D6E45E7.B3ABBDC2@sofcheck.com> References: <5ee5b646.0208191613.21291d5@posting.google.com> NNTP-Posting-Host: 192.168.24.34 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: inmet2.burl.averstar.com 1030637032 12262 192.168.24.34 (29 Aug 2002 16:03:52 GMT) X-Complaints-To: usenet@inmet2.burl.averstar.com NNTP-Posting-Date: 29 Aug 2002 16:03:52 GMT X-Mailer: Mozilla 4.79 [en] (X11; U; SunOS 5.7 sun4u) X-Accept-Language: en Xref: archiver1.google.com comp.lang.ada:28559 Date: 2002-08-29T16:03:52+00:00 List-Id: Green Hills Software supports both Ada and ARM. You should certainly check with them whether they currently have an Ada offering certified for the ARM. Even if they don't, they might be able to create something. Start at: http://www.ghs.com Note also that SofCheck, Inc. has a validated Ada 95 compiler that uses optimized ANSI C as its intermediate representation. This has been successfully used for relatively quick ports to new architectures which have a decent C compiler. If you are interested in pursuing this, please contact us. -Tucker Taft stt@sofcheck.com President, SofCheck, Inc. (SofCheck now owns and maintains the AdaMagic(tm) technology developed by Intermetrics, Inc., aka AverStar, AverCom/Titan)