ARM L4Linux Kernel Panic

Adam Lackorzynski adam at
Tue Jan 4 21:34:39 CET 2011


On Mon Jan 03, 2011 at 16:04:01 -0800, Wesley Miaw wrote:
> I am attempting to run the L4linux ARM build from the Fiasco + L4Re +
> L4linux snapshot l4re-snapshot-2010111519.tar.bz2 but L4linux is kernel
> panicking during startup. Here's my build information and a snippet of the
> error output. I'd appreciate any help trying to figure out what's going
> wrong and resolving the problem.
> GCC_PATH_PREFIX=/opt/sourcery-g++-lite/bin/arm-none-linux-gnueabi-
> L4ARCH=arm
> make setup
>   -> selected ARM realview
> make
> cd obj/l4linux/arm-up
> make arm_defconfig
> make menuconfig
>   -> set L4 build path obj/l4/arm-rv
>   -> set cross compile prefix arm-none-linux-gnueabi-
>   -> turned on ARM EABI + old EABI binaries options
> make
> cd obj/l4/arm-rv
> make image E="L4linux ARM"
> qemu-arm-l4 images/bootstrap.elf
> Got through to Ned: loading file: 'rom/l4lx.cfg' without any apparent
> issues. L4linux started, but got a bunch of bad page errors:
> BUG: Bad page state in process swapper  pfn:0431c
> page:00488380 count:4752264 mapcount:0 mapping:00488390 index:0x488390
> page flags: 0x488380(slab|owner_priv_1|arch_1|tail|buddy|mlocked)
> These went through, and then it looked like the kernel was proceeding, but
> eventually:

I think the "bad page state" messages are the cause for the following
oops. I tried to reproduce that by following your steps but I failed,
i.e. it always works for me. Could you give me some more info, like all
of the Linux output so that I see gcc version used etc. Qemu is which

Adam                 adam at

More information about the l4-hackers mailing list