On Thu Mar 13, 2008 at 11:26:52 +0530, Pravin wrote:
Adam Lackorzynski adam@os.inf.tu-dresden.de wrote:
Hi,
On Mon Mar 10, 2008 at 19:52:53 +0530, Pravin wrote:
I wanted to ask a question regarding the procedure followed in porting linux on L4 (L4Linux). I am exploring the possibility of porting Linux on Minix3 on similar lines.
I'd find it more interesting to see Minix on L4.
Well, I had not considered that possibility much yet. I wanted to port Linux on minix to see if minix can work as a virtualizer I am not very clear about the advantages of porting minix of L4, can you put more light on it ?
I think that L4 is much more of a virtualizer than minix but that's just my opinion.
L4 and Minix3 are having similarities.
I had the impression that Minix3 has more like a POSIX interface. Now I wanted to look at the API, and indeed, on wiki.minix3.org there's a kernel-api.pdf referenced but the link gives a 404. Where did it go?
You can get kernel-api document on following link... www.minix3.org/doc/kernel-api.ps If you r not able to download it, let me know, I can mail it.
Ok, hadn't checked the ps. The minix interface is much more like Linux than L4 so Linux-on-minix is probably more like user-mode Linux than L4Linux.
Adam