porting L4linux on minix3.

Pravin shindepravin at gmail.com
Thu Mar 13 06:56:52 CET 2008

thanx for those links, I am going through them.

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 ?

>  > 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.

I am also referring a book
Operating Systems Design and Implementation, 3/E
By Andrew S Tanenbaum, Albert S Woodhull

Which covers most of the implementation details.

>  > So, in theory, with few modifications, L4Linux should be able to run
>  > on Minix also.
>  >
>  > I wanted some information regarding the approach taken in porting Linux on L4.
>  > If there are any documentation/links available about
>  >  *. how to go in case of these kind of porting of linux on another kernel?
>  >  *. and how L4linux works internally?
>  >  *. which architecture dependent code of Linux has been modified and why?
>  Some of the things can actually been seen by looking at the code. And
>  there are some thesis on L4Linux on our website.

Thanx, I will check for them.

Pravin Shinde

More information about the l4-hackers mailing list