Hello,
for tracing/profiling purposes, I'd like to run Genode on Fiasco.OC in
Bochs. My prior attempts with the OKL4 and Pistachio kernels went fine.
However, when booting the setup with Fiasco.OC, I get the following
kernel message right at the start:
Freeing init code/data: 28672 bytes (7
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,