porting L4linux on minix3.
adam at os.inf.tu-dresden.de
Sun Mar 16 22:54:59 CET 2008
On Thu Mar 13, 2008 at 11:26:52 +0530, Pravin wrote:
> Adam Lackorzynski <adam at 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
> > > 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...
> 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
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers