L4Linux on fiasco UX problem

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Nov 24 22:08:39 CET 2005


On Fri Nov 25, 2005 at 05:55:27 +0900, Jugwan Eom wrote:
> I tried runnig L4Linux on fiasco UX but it didn't work.
> I enabled three options for the L4Linux. (Exception IPC /  Inter-task 
> ex-regs syscall / Handle and preserve segments) I have no idea why 
> l4linux causes the trap.
> Anyone could help me?

Thanks for the detailed report!

> 006095db <pci_sanity_check+0x3b>:
> pci_sanity_check():

Disable PCI in the Linux kernel configuration. On UX PCI doesn't have
any use (same for other close to hardware functionality).

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list