I have a question about L4Linux

[Bjoern Doebel]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Ernesto Bascon wrote:
> On 14/05/07, coly <colyli at gmail.com> wrote:
>> SJ,
>>
>> L4linux is not a microkernel. L4Linux is a user space server, provides
>> Linux compatible ABI. L4 kernel helps to make it.
> 
> How the memory protection is addressed by L4Linux if it is a L4
> userspace process?

The L4Linux kernel and the Linux user tasks run in separate L4 address
spaces each. Does this answer your question?

Björn
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGSWTqP5ijxgQLUNkRAvskAKCWgaZYQNKYuJ89G8a6D51L9RAJXgCfRZJ2
51jHLodNm5KTFEKdwVjuRLs=
=lbP2
-----END PGP SIGNATURE-----