Re: [ankh+l4linux] Doesn't work
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi, On Sat Apr 28, 2012 at 23:14:01 +0400, Timur wrote: > ifconfig eth0 up > l4linux crashes with errors: > > -------------------------- > l4lx_irq_dev_startup: creating IRQ thread for 66 (IRQ-cap 42d000) > l4lx_irq_dev_startup: creating IRQ thread for 66 (IRQ-cap 42d000) > l4linux | l4lx_thread_create: Created thread 433 (IRQ66) (u:b3000e00, > sp:006c9ff4) > l4linux | irq_thread: Started IRQ thread for IRQ 66 > l4linux | wait_for_irq_message: IRQ 66 (42d) receive failed, error = 0x4 > ------------------------ > > l4_is_invalid_cap(p->irq_cap) return false in wait_for_irq_message, > but l4_irq_wait_u(p->irq_cap, &src_id, L4_IPC_NEVER, utcb) return > L4_IPC_ENOT_EXISTENT. How can this be? Looking at the driver, it's broken unfortunately, so it won't work. Adam -- Adam [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/