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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,55958fd991db66fe,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-08-20 07:08:39 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!pcp01485549pcs.limstn01.de.comcast.NET!not-for-mail From: Ryan Newsgroups: comp.lang.ada Subject: Ada-inspired OS/Language Date: Tue, 20 Aug 2002 10:10:15 -0400 Message-ID: NNTP-Posting-Host: pcp01485549pcs.limstn01.de.comcast.net (68.82.51.136) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: fu-berlin.de 1029852516 48212094 68.82.51.136 (16 [151722]) User-Agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.1b) Gecko/20020721 X-Accept-Language: en-us, en, eo Xref: archiver1.google.com comp.lang.ada:28243 Date: 2002-08-20T10:10:15-04:00 List-Id: An article on Slashdot reads (http://developers.slashdot.org/article.pl?sid=02/08/18/2053259) "Brand Huntsman (the creator of the Bochs Front-End, among other obscure things) has been developing an integrated language/operating system for the past few years now. The Operating System is called BRiX, and it uses a language called Crush, which is woven tightly into the core of the OS. On his project web page (http://brix-os.sf.net) he has posted the source code (http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/brix-os/crush) to his preliminary compiler, which runs in Linux and outputs optimized assembly from Crush source code. The Crush language itself is heavily influenced by Forth, LISP, and Ada, and provides strong typing and extensive namespace security." An interesting quote from the FAQ on his site is "BRiX, unlike other modern operating systems, does not use hardware to isolate and protect applications from each other. Instead, it uses a single address space and relies on a safe-language to generate code that will not access memory for which it does not own. This language also handles many checks at compile-time that would be performed at run-time in other operating systems." What effect might this have on the development of AdaOS? Competition? Inspiration? It seems to have several of the same goals in mind. Ryan