15 May
2007
15 May
'07
9:44 a.m.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Ernesto Bascon wrote:
On 14/05/07, coly <colyli@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-----