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,216b18d81cce4f75 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-06-02 04:11:43 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!dispose.news.demon.net!demon!nntp.news.xara.net!xara.net!gxn.net!news5-gui.server.ntli.net!ntli.net!news6-win.server.ntlworld.com.POSTED!not-for-mail From: "chris.danx" Newsgroups: comp.lang.ada References: <3B183CB8.3EE396E7@engineer.com> Subject: Re: Ada Microkernel? X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Message-ID: <_M3S6.8957$HL5.1284411@news6-win.server.ntlworld.com> Date: Sat, 2 Jun 2001 12:07:29 +0100 NNTP-Posting-Host: 213.104.128.12 X-Complaints-To: abuse@ntlworld.com X-Trace: news6-win.server.ntlworld.com 991479994 213.104.128.12 (Sat, 02 Jun 2001 12:06:34 BST) NNTP-Posting-Date: Sat, 02 Jun 2001 12:06:34 BST Organization: ntlworld News Service Xref: archiver1.google.com comp.lang.ada:8014 Date: 2001-06-02T12:07:29+01:00 List-Id: > Hi group. > > I'm I Debian Hurd hacker, and am thoroughly disgustapated > with the Mach sources. Recently I have been redoubling > my efforts to use more modern languages such as Ada and > Python in everything I do. > > Are there any sample microkernels written in Ada, perhaps > for oskit? Maybe MarteOS is a microkernel but i'm not sure. It's not 100% Ada but the main language _appears_ to be Ada. > I think a kernel would ultimately really benefit from > being written in such a robust language as Ada. Nick Roberts thinks so too. Check out www.adaos.org! I too have thought of writing a microkernel in Ada and after the 11th June serious work on this will begin. Lot's of OS theory and design have been my main focus so far. My page holds two projects: one is willow a language research project and _Sorcerer_ the OS development project. There won't be much up there now as i'm having to redraft and re-organise the site to accomodate Sorcerer (who'd have thought editing HTML would take so long?). If your interested check the site on Monday or Tuesday by which time i should have something substantial (and a little FS code too). > I know this is way out of my league, but I'm sitting here dreaming > about rewriting GNUMach in Ada. Why is it out of your league? How long have you been a programmer? I've never done anything substantial in hardware before (apart from some assembly but no x86 pmode at all), but I'm determined to continue. Sure it will be hard at first but it becomes easier as you go. If you want to make a new GNUMach written in Ada go for it. All you really need to do is have a compatible API and use the same workings underneath. Provinding you do this all written in ada it'll work. It will take a long time (maybe years) to do and you have to be sure it's worth the effort. Chris Campbell http://willowplan.tripod.com