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-Thread: 103376,ee887b7593f7961b X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!flpi089.ffdc.sbc.com!prodigy.net!flpi088.ffdc.sbc.com!prodigy.com!flpi107.ffdc.sbc.com!nlpi070.nbdc.sbc.com.POSTED!b5cf28ff!not-for-mail From: Freejack User-Agent: Thunderbird 2.0.0.17 (X11/20081017) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada OS based on Minix3 References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 75.48.217.250 X-Complaints-To: abuse@prodigy.net X-Trace: nlpi070.nbdc.sbc.com 1226361426 ST000 75.48.217.250 (Mon, 10 Nov 2008 18:57:06 EST) NNTP-Posting-Date: Mon, 10 Nov 2008 18:57:06 EST Organization: at&t http://my.att.net/ X-UserInfo1: Q[R_@SJDPBUKRZ\XMZKNNPDAZR\VPULMVPQZKB]MPXHZUYICD^RAQBKZQTZTX\_I[^G_KGFNON[ZOE_AZNVO^\XGGNTCIRPIJH[@RQKBXLRZ@CD^HKANYVW@RLGEZEJN@\_WZJBNZYYKVIOR]T]MNMG_Z[YVWSCH_Q[GPC_A@CARQVXDSDA^M]@DRVUM@RBM Date: Mon, 10 Nov 2008 20:00:22 -0500 Xref: g2news1.google.com comp.lang.ada:2646 Date: 2008-11-10T20:00:22-05:00 List-Id: Cedric.Lannock wrote: > 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 A better approach, in my humble opinion, would be start with an existing kernel and expand outward. For the longest time I've been thinking about making a Ravenscar Linux Kernel Runtime Module. From there it could be expanded to include a full Ada Runtime Environment, add an ABI, it's own System Calls, etc... gradually replacing the functionality of the existing kernel, while adding it's own OO functionality. With this approach, you get an active test platform, access to an "interface" that most developers are already familiar with(i.e. Posix), while having the ability to gradually add more extensive non-posix features to the platform. I'm certain the additional OO features will attract users of other High Level language tools(Java, Haskell, OCaml, etc..), at the same time it wouldn't alienate users of the more common "system level" language tools(C, Assembler, Fortran, etc...). Gradually, as more OO and Functional "paradigm"(I hate that word) features are added, developers will begin to test, work with, and use those features in thier userspace apps. It really only takes a few developers to get a Kernel Module started and working. The OpenRavenscar project has already done alot of the work for us. What do you guys think? dimonax