ARM L4Linux Kernel Panic
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Tue Jan 4 21:34:39 CET 2011
Hi,
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
version?
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list