Hi,
I am trying to load L4Linux on PB11MPCORE.
I have only the following modules loding up and configured in modules.list
mod09: 014b9000-017b9000: ramdisk-arm.rd mod08: 011f7000-014b8488: vmlinuz.arm mod07: 011f6000-011f60bd: arm-rv.io mod06: 01118000-011f5078: io mod05: 01117000-01117189: l4lx.cfg mod04: 010c1000-01116670: ned mod03: 010a6000-010c039c: l4re mod02: 0106b000-010a5b54: moe mod01: 01061000-0106a714: sigma0 mod00: 01014000-010604b0: fiasco
The kernel hangs after fetching kernel info at regions.optimize Are these modules sufficient or should I have any others configured