Hi, Is there a version of l4 for a Intel 386. I am wanting to experiment with l4 and have a spare i386 to play with but nothing else. None of the "virtual machine" solutions look very nice. If not is anybody working on a version? Any plans? Thanks, Jonny -- Jonathan Hunt (The Real Jonathan Hunt) <jhuntnz@users.sf.net> Jabber at jhuntnz@jabber.com "He is no fool who gives what he cannot keep to gain what he cannot lose." Jim Elliot
Jonathan Hunt <jhuntnz@users.sourceforge.net> writes:
Is there a version of l4 for a Intel 386. I am wanting to experiment with l4 and have a spare i386 to play with but nothing else. None of the "virtual machine" solutions look very nice. If not is anybody working on a version? Any plans?
No, there is no such version, and I am not aware of anyone planning to add support. That said, it should be possible to add support fir the 386 to the existing x86 implementations. For what would be needed for Fiasco, see <URL:http://os.inf.tu-dresden.de/fiasco/faq.html#1020>. Michael -- hohmuth@innocent.com, hohmuth@inf.tu-dresden.de http://home.pages.de/~hohmuth/
On Tue, 06 Nov 2001 21:54, Michael Hohmuth wrote:
Jonathan Hunt <jhuntnz@users.sourceforge.net> writes:
Is there a version of l4 for a Intel 386. I am wanting to experiment with l4 and have a spare i386 to play with but nothing else. None of the "virtual machine" solutions look very nice. If not is anybody working on a version? Any plans?
No, there is no such version, and I am not aware of anyone planning to add support.
That said, it should be possible to add support fir the 386 to the existing x86 implementations. For what would be needed for Fiasco, see <URL:http://os.inf.tu-dresden.de/fiasco/faq.html#1020>.
Michael
Yes I would but interested in porting this to a 386. Could anyone give me some more information on what would be required to change. (The FAQ is rather brief). I understand the the CR0::WP bit enables an exception when a fully privileged task (such as the kernel task) writes to a read-only page but when does this happen that I can check explicitly for it? Thanks, Jonathan Hunt -- Jonathan Hunt (The Real Jonathan Hunt) <jhuntnz@users.sf.net> Jabber at jhuntnz@jabber.com "He is no fool who gives what he cannot keep to gain what he cannot lose." Jim Elliot
On Wednesday 07 November 2001 03:34, you wrote:
On Tue, 06 Nov 2001 21:54, Michael Hohmuth wrote:
Jonathan Hunt <jhuntnz@users.sourceforge.net> writes:
Is there a version of l4 for a Intel 386. I am wanting to experiment with l4 and have a spare i386 to play with but nothing else. None of the "virtual machine" solutions look very nice. If not is anybody working on a version? Any plans?
No, there is no such version, and I am not aware of anyone planning to add support.
That said, it should be possible to add support fir the 386 to the existing x86 implementations. For what would be needed for Fiasco, see <URL:http://os.inf.tu-dresden.de/fiasco/faq.html#1020>.
Michael
Yes I would but interested in porting this to a 386. Could anyone give me
There is (at least) one another problem with Fiasco on i386: As far as I know, the i386 doesn't have a CAS operation (cmpxchg), it was introduced in i486. Therefore you had to emulate this operation by cli cmp ... jne 1b mov ... 1: sti Frank -- Frank Mehnert ## Dept. of Computer Science, Dresden University of Technology, Germany ## ## E-Mail: fm3@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/~fm3 ##
participants (3)
-
Frank Mehnert -
Jonathan Hunt -
Michael Hohmuth