[ankh+l4linux] Doesn't work

[Timur]

Hi, 
after 
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?
-- Galiullin Timur
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120428/2f909008/attachment.html>