28 Apr
2012
28 Apr
'12
9:14 p.m.
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