Re: L4::BSD, Subclass your OS

"R. Tyler Ballance" <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


On May 11, 2006, at 1:05 PM, ernesto bascon wrote:

> As I could understand, you want to do something similar to L4Linux  
> but using BSD kernel instead of the Linux kernel and programming  
> the drivers are as plugins on top of the L4 microkernel, doesn't you?
>
> A lot of things are not enough clear to me yet, by example, how the  
> shared libraries are handled? they are loaded by every module? is  
> there some "library manager"? or should be a library manager  
> implemented as module? if it is so, the routine calls are done via  
> IPC too?
>

I definitely understand your thoughts, but I don't think you're  
completely clear on how shared libraries work in L4Linux (http:// 
os.inf.tu-dresden.de/L4/LinuxOnL4/overview.shtml). I'm not 100%  
certain, but as far as I can tell, since Linux runs as essentially  
"an application" (i.e. user-land address space) on top of the L4  
kernel, the Linux kernel is responsible for managing all that shared  
library nonsense, in effect L4::Pistachio runs L4Linux in the address  
space between 20 and 65 (very generalized from my understanding of  
the process) and then L4Linux manages the address space between 20  
and 65 as if it were running on any other machine, so if it decides  
to manage shared libs at 60-65, then that's fine, Linux applications  
would be directed to the address space between 60 and 65 to link up  
to those shared libraries.

Feel free to chime in (anybody) if I'm mistaken here.

In implementation I don't think an L4::BSD system would perform much  
differently, with the exception of working in some of Darbat's IOKit  
stuff (that unified driver idea really fascinates me ;))

Basically, I think we have two fantastic references to look at when  
deciding on how such an OS should be built, L4Linux, and L4/Darwin.  
(L4Linux moreso, since L4/Darwin seems to been more of "merely" (no  
small task) taking Mach in, and switching it for L4, and emulating  
anything else that Xnu did underneath Darwin)

Feel free to stop by #l4bsd, early a KDE and opendarwin developer  
dropped by as well as the project manager from NICTA's Darbat  
project, both offering up some very useful opinions and ideas.

Cheers,

- -R. Tyler Ballance

p.s. sorry about the triple-PGP signing of the initial post, GPGMail  
went nuts on me.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (Darwin)

iD8DBQFEY5UQqO6nEJfroRsRApRdAJ0aPT+IlRx9O1rTDUYcAlpl1IMd1wCdGzE6
Jq6KZKHpYEptXQsVMvem8lI=
=wvCU
-----END PGP SIGNATURE-----
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.