BatOS Virtual Operating System Announcement (Marek Novy)
Tue, 7 Mar 1995 14:30:13 GMT

          From comp.compilers

Related articles
BatOS Virtual Operating System Announcement (1995-03-07)
| List of all articles for this month |

Newsgroups: comp.compilers,comp.os.mach,comp.lang.beta
From: (Marek Novy)
Keywords: design, question
Organization: Compilers Central
Date: Tue, 7 Mar 1995 14:30:13 GMT


I put together some crazy ideas about my dream operating system. It is based on
Beta programming language as one and only consistent specification language
both for maintanance and programming. It's available on

It requires to be a little bit familiar with Beta programming language
and Mach microkernel. I made a link to the Beta Introduction and Mach home

I'd be very happy to know your opinion and comments.
Marek Novy, University of West Bohemia
home: 5.kvetna 670 campus: Machova 20, p.619
            34201 Susice 30000 Pilsen
            Czech Republic Czech Republic
  tel. 0042-1878711 email:

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.