porting L4linux on minix3.
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:
> 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.
More information about the l4-hackers