porting L4linux on minix3.

Adam Lackorzynski 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
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

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list