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,345c9fcf5a67a99f X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-29 16:09:00 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!skynet.be!skynet.be!landlord!shale.ftech.net!news.ftech.net!peernews.cix.co.uk!newspeer1-gui.server.ntli.net!ntli.net!news8-gui.server.ntli.net.POSTED!53ab2750!not-for-mail From: "chris.danx" Newsgroups: comp.lang.ada References: Subject: Re: [OT] Switching to Linux (was: Microsoft takes on ACT) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Message-ID: Date: Thu, 30 May 2002 00:08:39 +0100 NNTP-Posting-Host: 80.5.140.234 X-Complaints-To: abuse@ntlworld.com X-Trace: news8-gui.server.ntli.net 1022713737 80.5.140.234 (Thu, 30 May 2002 00:08:57 BST) NNTP-Posting-Date: Thu, 30 May 2002 00:08:57 BST Organization: ntl Cablemodem News Service Xref: archiver1.google.com comp.lang.ada:24967 Date: 2002-05-30T00:08:39+01:00 List-Id: "chris.danx" wrote in message news:pUcJ8.1671$D3.149718@news8-gui.server.ntli.net... > > Some OS developers in aod have taken an interest in UDI, Ada might be a > perfect partner to this but since I don't know what UDI specifies in terms > of types (if anything) I can't say whether there would be a great benefit in > a mix of the two. Something I forgot which may be of interest to some is Devil (maybe it's been mentioned before). This is an idl for specifying programming interfaces to hardware via abstractions. At present the thing seems to have stalled, perhaps if there was enough interest inria might put it into the open and it could be modified to generate Ada code instead of C. a page is available at http://compose.labri.u-bordeaux.fr/prototypes/devil/specs/ for any who find this concept interesting?