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-01 20:46:02 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!skynet.be!newsfeed00.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mail From: gerhard.nospam@bigfoot.de (Gerhard =?iso-8859-1?Q?H=E4ring?=) Newsgroups: comp.lang.ada Subject: Re: Ada Microkernel? Date: Sat, 2 Jun 2001 04:25:14 +0200 Organization: T-Online Message-ID: References: <3B183CB8.3EE396E7@engineer.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: news.t-online.com 991453388 05 12317 ZHxCSdZbSea9NH 010602 03:43:08 X-Complaints-To: abuse@t-online.com X-Sender: 320066699498-0001@t-dialin.net User-Agent: slrn/0.9.6.3 (Linux) Xref: archiver1.google.com comp.lang.ada:8006 Date: 2001-06-02T04:25:14+02:00 List-Id: On Fri, 01 Jun 2001 21:09:12 -0400, B. Douglas Hilton wrote: >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. Ada and Python are my favourites, too. I'm only annoyed by Ada's lack of good free libraries (compared to Java and Python, at least). But for kernel programming, this is a non-issue. >Are there any sample microkernels written in Ada, perhaps for oskit? I think a >kernel would ultimately really benefit from being written in such a robust >language as Ada. Hmm. From time to time people complained about the Mach sources on the Hurd list. More than once somebody proposed to switch to L4. That's what I'd do, too. L4 is a microkernel interface with implementations for x86, Alpha, MIPS, PowerPC. x86 is stable, and I believe Alpha, too. There is a Linux 2.2.0 implementation on top of L4 by TU Dresden. Lots of research is done on top of L4, including an IBM operating system research project called Sawmill, guess what, it's a multi-server system on top of a L4 microkernel. Not quite unlike Hurd, isn't it? Unfortely, I haven't found publicly available code. >I know this is way out of my league, but I'm sitting here dreaming about >rewriting GNUMach in Ada. This reminds me of the AdaOS project (http://www.adaos.org). They plan to build the OS on a microkernel. It's mainly good for people who are dreaming ;-) Almost two years and no code. Nuff said. Gerhard PS: What about a PythonOS? I thought about rewriting the Unix services (startup, configuration files, all the simple stuff like echo, identd, ...) in Python. It would be mainly a network programming exercise. For me, the most annoying thing on Unix resides in /etc. This should be replaced by XML files, IMHO. The hard part is already done, I would start on top of a Linux kernel and glibc (though it should work on any Unix and libc). The first thing would be /sbin/init Any ideas? -- mail: gerhard bigfoot de registered Linux user #64239 web: http://highqualdev.com public key at homepage public key fingerprint: DEC1 1D02 5743 1159 CD20 A4B6 7B22 6575 86AB 43C0 reduce(lambda x,y:x+y,map(lambda x:chr(ord(x)^42),tuple('zS^BED\nX_FOY\x0b')))