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 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
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
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
l4-hackers@os.inf.tu-dresden.de
-
Frank Mehnert -
Jonathan Hunt -
Michael Hohmuth