Hi, 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.
L4 and Minix3 are having similarities. 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? then they will be quite helpful to me.
-- Thanks and Regards, Pravin Shinde
Why dont you take a look fow the Manuals of L4 enviroment at http://www.inf.tu-dresden.de/index.php?node_id=1587 , even i would take a look at the http://wiki.ok-labs.com/images/a/af/Okl4-progmanual.pdf there should be some similarities that can be helpful.
Theres a guide about L4 internals or something like that, you should check for it.
regards
Juan Sebastian Muñoz http://wiki.ok-labs.com/images/a/af/Okl4-progmanual.pdf
On Mon, Mar 10, 2008 at 9:22 AM, Pravin shindepravin@gmail.com wrote:
Hi, 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.
L4 and Minix3 are having similarities. 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? then they will be quite helpful to me.
-- Thanks and Regards, Pravin Shinde
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
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.
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?
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.
Adam
Juan, thanx for those links, I am going through them.
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 ?
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.
I am also referring a book Operating Systems Design and Implementation, 3/E By Andrew S Tanenbaum, Albert S Woodhull http://www.pearsonhighered.com/educator/academic/product/0,,0131429388,00%2B...
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.
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
On Wed, Mar 12, 2008 at 5:39 PM, Adam Lackorzynski adam@os.inf.tu-dresden.de wrote:
I am exploring the possibility of porting Linux on Minix3 on similar lines.
I'd find it more interesting to see Minix on L4.
This is one such attempt in progress called as L4minix
http://research.nii.ac.jp/H2O/L4minix.html
See if it interests u.
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?
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.
Adam
Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers@os.inf.tu-dresden.de
-
Adam Lackorzynski -
Juan Sebastian Muñoz Arango -
Pravin