ExoPC and other exokernel based OSes

[Michael]

Did anybody try to use exopc from MIT? I downloaded tar.gz archive from
http://amsterdam.lcs.mit.edu/exo/distrib.html but I can't compile (it seems
there are no some source files in archive: libexos.so_stub.s, crt0.c and
others).
Or does anybody know another exokernel based OS with open source and maybe
small floppy demo for example of its features?

Sorry for my bad english.

[ByrdKernel]

The website states in the documentation on the website that it isn't even
finished yet. The statements are conflicting, but the download page says: "Do
not expect to compile everything and replace your current system with XOK/ExOS."
I'm not quite sure what else you'd need, but it hints that it may need help from
parts of "OpenBSD or Linux with libc6".

Not aware of any other specific exokernel OS's. QNX's concept seems
similar...tiny kernel, provides minimal functionality, all drivers are other
services (like file systems, memory managers, etc) are in their own isloated user
space. Is that what you're looking for? If so, go to qnx.com.

And there's nothing to excuse about your English. It's just fine. :)

ByrdKernel

Michael wrote:

-----= Posted via Newsfeeds.Com, Uncensored Usenet News =-----
http://www.newsfeeds.com - The #1 Newsgroup Service in the World!
-----== Over 80,000 Newsgroups - 16 Different Servers! =-----

[manan...@gmail.com]

I am also facing same problem. QNX is based on microkernel. I want to use OS based on Exokernel approach. I found one it is xomb but it is written in D language. I am developing Data Center TCP for Exokernel. So please tell if anybody has booted successfully using Exokernel.