porting L4linux on minix3.
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 -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~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. -- Regards, Pravin Shinde
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 -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~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
-- Regards, Pravin Shinde
participants (3)
-
Adam Lackorzynski -
Juan Sebastian Muñoz Arango -
Pravin