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,WEIRD_PORT autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,ee887b7593f7961b X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!kanaga.switch.ch!switch.ch!news.in2p3.fr!in2p3.fr!not-for-mail From: xavier grave Newsgroups: comp.lang.ada Subject: Re: Ada OS based on Minix3 Date: Fri, 07 Nov 2008 17:20:30 +0100 Organization: In2p3 Message-ID: References: NNTP-Posting-Host: ipnnarval.in2p3.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: ccpntc8.in2p3.fr 1226074831 8871 134.158.92.7 (7 Nov 2008 16:20:31 GMT) X-Complaints-To: newsmaster@cc.in2p3.fr NNTP-Posting-Date: Fri, 7 Nov 2008 16:20:31 +0000 (UTC) User-Agent: Mozilla-Thunderbird 2.0.0.17 (X11/20081018) In-Reply-To: X-Enigmail-Version: 0.95.0 Xref: g2news2.google.com comp.lang.ada:8347 Date: 2008-11-07T17:20:30+01:00 List-Id: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Cedric.Lannock a �crit : > Hi all, > > I came across Ada at the beginning of the year and read quite a few > books about Ada. A few month later I joined a Linux workgroup within a > local computer association. This way I learned about Ada and had a > look into Tanenbaum's book on operating systems (http://www.amazon.com/ > Operating-Systems-Implementation-Prentice-Software/dp/0131429388/ > ref=pd_bbs_sr_1?ie=UTF8&s=books&qid=1226066518&sr=8-1) and Minix 3 > (http://www.minix3.org/). > > I thought about an operating system written fully in Ada. When surfing > the net I came across the various discussions about that subject. > > What taking the Minix 3 system as basis for porting it to Ada? The > Minix 3 is a modern micro kernel os and has about 4.000 Lines of code. > It is full Posix compatible. Some guys have added real time > functionality to it (see ACM.org for further reading). Thus it would a > good place to start. As it has to few lines of code it should be > possible to build a kernel in overseeable time. > > Another thought to get this project taking some speed would be not to > rewrite all the available C code but to develop a translator c2ada. It > would us getting startet and the resulting code could be enhanced and > improved. > > Do you think this would make this project doable? > > Regards > > Cedric Lannock Hi Cedric, I have started to develop some kind of OS fully in Ada : Lovelace. I have thought recently to restart all of it on a minix3 basis, but the lack of Virtual Memory handling stopped me (as far as I understood minix3) and also that minix has is proper compiler which isn't gcc. And something I definitively don't want to do is to write an Ada compiler to produce minix binary format. Perhaps adapt GNAT to minix is a reseanable project but it doesn't seem so to me. If you want we can try to join our forces for building a fully Ada OS. Cordially, xavier PS: My work is mainly a translation from C to Ada of the SOS work[1]. This isn't a strict translation and for example exception support is enabled from the very beginning of the kernel boot (ease a lot the kernel debugging). Here is a monotone repository with the last lovelace code : [2]. For more information about accessing this monotone server : [3]. There is already some Ada OS available like MarteOS (not full Ada code as far as I understand, list of Ada OS not exhaustive). [1]http://sos.enix.org/en/MainPage [2]http://www.ada-france.org:8081/branch/changes/org.os-lovelace [3]http://www.ada-france.org/article131.html -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkkUas0ACgkQVIZi0A5BZF58HQCffCisIi0ogUk4QMrFqtyvUrLf npQAn24u86fEg05jhEl/FDDu1zV2SkAA =i1AY -----END PGP SIGNATURE-----