Running l4android on cubieboard2

cem akpolat akpolatcem at gmail.com
Thu Feb 12 18:30:10 CET 2015


Hi Mathias,

I tested with rv_vexpress and it works fine, now the question is why this
doesn't work on the real hardware. I tried on cubieboard a7, as you know no
success.

Now, what should I do?

Thanks,
Cem

Cem Akpolat

On Mon, Feb 9, 2015 at 11:02 AM, Matthias Lange <
matthias.lange at kernkonzept.com> wrote:

> Hi,
>
> On 02/09/2015 10:48 AM, cem akpolat wrote:
> > Hi,
> >
> > I tried also with the working ramdisk and unfortunately I received the
> > same output. I believe lua configuration file is correctly written,
> > nevertheless you can see below its content.
> > I couln't really figure out what it is the exact issue there. The
> > general idea is the corruption of the ramdisk, but after trying the new
> > ramdisk, it is seen that this is not directly related to the rootfs.
>
> Can you try your setup on Qemu using e.g. the rv_vexpress platform?
>
> Matthias.
>
> >
> > Thanks for your comments.
> > =====
> >
> > -- vim:set ft=lua:
> >
> > local lxname = "vmlinuz";
> > if L4.Info.arch() == "arm" then
> >     lxname = "vmlinuz.arm";
> > end
> >
> > loader = L4.default_loader;
> > vbus_l4linux = loader:new_channel();
> >
> > loader:start(
> > { caps = {
> >     sigma0
> =L4.cast(L4.Proto.Factory,L4.Env.sigma0):create(L4.Proto.Sigma0);
> >     icu= L4.Env.icu;
> >     l4linux = vbus_l4linux:svr();
> >     },
> > }, "rom/io -vv rom/arm-rv-eb-mc.devs rom/l4lx-vbus.io
> > <http://l4lx-vbus.io>");
> >
> > L4.default_loader:start(
> > { caps = {
> >     log = L4.Env.log:m("rws"),
> >     vbus = vbus_l4linux;
> >     },
> >     l4re_dbg = L4.Dbg.Warn,log = { "l4linux", "yellow" },
> > },
> > "rom/" .. lxname .. " mem=256M console=ttyLv0 l4x_rd=rom/ramdisk-" ..
> > L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=/bin/sh");
> >
> > ====
> >
> > Cem Akpolat
> >
> > On Thu, Jan 22, 2015 at 3:38 PM, Matthias Lange
> > <matthias.lange at kernkonzept.com <mailto:matthias.lange at kernkonzept.com>>
> > wrote:
> >
> >     On 01/20/2015 12:29 PM, cem akpolat wrote:
> >     > As you mentioned I enabled FPU in Fiasco kernel and re-compiled,
> again I
> >     > have the same issue. I couldn't solve the previous issue. The
> issue that
> >     > you mentioned, I disabled FPU in the l4linux configuration, that's
> why
> >     > this wasn't a solution. So now, as FPU is in Fiasco enabled, I
> don't
> >     > receive anymore this failure message, however, the following issue
> is
> >     > still available "sh not tainted". I am not sure but It can be an
> issue
> >     > in the file system (ramdisk-arm.rd). Do you have a stable ramdisk
> file
> >     > system for arm, otherwise I will compile new file system.
> >
> >     A working ramdisk is contained in the latest snapshot [1]
> >
> >     Matthias.
> >
> >     [1] http://os.inf.tu-dresden.de/download/snapshots-oc/
> >
> >     >
> >     > =========
> >     > RAMDISK: ext2 filesystem found at block 0
> >     > RAMDISK: Loading 3072KiB [1 disk] into ram disk... done.
> >     > EXT4-fs (ram0): couldn't mount as ext3 due to feature
> >     incompatibilities
> >     > EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem
> >     > EXT4-fs (ram0): mounted filesystem without journal. Opts: (null)
> >     > VFS: Mounted root (ext2 filesystem) readonly on device 1:0.
> >     > Freeing unused kernel memory: 116K (02307000 - 02324000)
> >     > Kernel panic - not syncing: Attempted to kill init!
> >     exitcode=0x0000000b
> >     >
> >     > CPU: 0 PID: 1 Comm: sh Not tainted 3.16.0-l4-g5d0896b #8
> >     > [<0200c9c8>] (unwind_backtrace) from [<020055e8>]
> >     (show_stack+0x10/0x14)
> >     > [<020055e8>] (show_stack) from [<0223f704>] (panic+0x7c/0x1e0)
> >     > [<0223f704>] (panic) from [<0201e6a8>] (do_exit+0x708/0x7a0)
> >     > [<0201e6a8>] (do_exit) from [<0201e80c>] (do_group_exit+0x3c/0x9c)
> >     > [<0201e80c>] (do_group_exit) from [<02028390>]
> >     > (get_signal_to_deliver+0x148/0x490)
> >     > [<02028390>] (get_signal_to_deliver) from [<02006be8>]
> >     > (do_signal+0x114/0x448)
> >     > [<02006be8>] (do_signal) from [<0200a210>]
> >     (l4x_vcpu_entry_c+0xa94/0x1da8)
> >     > [<0200a210>] (l4x_vcpu_entry_c) from [<001074f0>] (0x1074f0)
> >     > ---[ end Kernel panic - not syncing: Attempted to kill init!
> >     > exitcode=0x0000000b
> >     >
> >     > panic: going to sleep forever, bye
> >     > l4linux | panic: going to sleep forever, bye
> >     > ===============================
> >     >
> >     > Cheers,
> >     > Cem
> >     >
> >     > Cem Akpolat
> >     >
> >     > On Mon, Jan 19, 2015 at 11:14 PM, Adam Lackorzynski
> >     > <adam at os.inf.tu-dresden.de <mailto:adam at os.inf.tu-dresden.de>
> >     <mailto:adam at os.inf.tu-dresden.de
> >     <mailto:adam at os.inf.tu-dresden.de>>> wrote:
> >     >
> >     >     On Mon Jan 19, 2015 at 18:56:59 +0100, cem akpolat wrote:
> >     >     > I encountered new failure, by the way I tested with hello
> >     word application.
> >     >     > It works fine. I couldn't fine an explanation related  "sh
> >     Not tainted".
> >     >     > There are of course some general definitions, but with them
> >     I cannot find
> >     >     > the missing part here.
> >     >
> >     >     My first guess here is missing FPU support in Fiasco. How did
> >     you fix
> >     >     the previous issue you had while booting Linux?
> >     >
> >     >     > Additionally I want to ask, the booting parameters
> >     >     > in uboot and the parameters in l4lx.cfg are evaluated
> >     together or l4lx.cfg
> >     >     > booting parameters ignores the uboot booting parameters.
> >     >
> >     >     The arguments given in uboot are not getting through to
> >     L4Linux, i.e. it
> >     >     does not see them.
> >     >
> >     >     > Freeing unused kernel memory: 116K (02306000 - 02323000)
> >     >     > Kernel panic - not syncing: Attempted to kill init!
> >     exitcode=0x0000000b
> >     >     >
> >     >     > CPU: 0 PID: 1 Comm: sh Not tainted 3.16.0-l4-svn50 #2
> >     >     > [<0200c198>] (unwind_backtrace) from [<020054e8>]
> >     (show_stack+0x10/0x14)
> >     >     > [<020054e8>] (show_stack) from [<0223dbe4>]
> (panic+0x7c/0x1e0)
> >     >     > [<0223dbe4>] (panic) from [<02018ce0>] (do_exit+0x708/0x7a0)
> >     >     > [<02018ce0>] (do_exit) from [<02018e44>]
> >     (do_group_exit+0x3c/0x9c)
> >     >     > [<02018e44>] (do_group_exit) from [<020229c8>]
> >     >     > (get_signal_to_deliver+0x148/0x490)
> >     >     > [<020229c8>] (get_signal_to_deliver) from [<02006a30>]
> >     >     > (do_signal+0x114/0x448)
> >     >     > [<02006a30>] (do_signal) from [<02009b14>]
> >     (l4x_vcpu_entry_c+0x934/0x1b18)
> >     >     > [<02009b14>] (l4x_vcpu_entry_c) from [<000ea560>] (0xea560)
> >     >     > ---[ end Kernel panic - not syncing: Attempted to kill init!
> >     >     > exitcode=0x0000000b
> >     >     >
> >     >     > panic: going to sleep forever, bye
> >     >     > l4linux | panic: going to sleep forever, bye
> >     >
> >     >
> >     >
> >     >     Adam
> >     >     --
> >     >     Adam                 adam at os.inf.tu-dresden.de
> >     <mailto:adam at os.inf.tu-dresden.de>
> >     >     <mailto:adam at os.inf.tu-dresden.de
> >     <mailto:adam at os.inf.tu-dresden.de>>
> >     >       Lackorzynski         http://os.inf.tu-dresden.de/~adam/
> >     >
> >     >     _______________________________________________
> >     >     l4-hackers mailing list
> >     >     l4-hackers at os.inf.tu-dresden.de
> >     <mailto:l4-hackers at os.inf.tu-dresden.de>
> >     <mailto:l4-hackers at os.inf.tu-dresden.de
> >     <mailto:l4-hackers at os.inf.tu-dresden.de>>
> >     >     http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> >     >
> >     >
> >     >
> >     >
> >     > _______________________________________________
> >     > l4-hackers mailing list
> >     > l4-hackers at os.inf.tu-dresden.de
> >     <mailto:l4-hackers at os.inf.tu-dresden.de>
> >     > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> >     >
> >
> >
> >     --
> >     Matthias Lange, matthias.lange at kernkonzept.com
> >     <mailto:matthias.lange at kernkonzept.com>, +49 - 351 - 41 88 86 14
> >     <tel:%2B49%20-%20351%20-%2041%2088%2086%2014>
> >
> >     Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
> >     Geschäftsführer: Dr.-Ing. Michael Hohmuth
> >
> >
>
>
> --
> Matthias Lange, matthias.lange at kernkonzept.com, +49 - 351 - 41 88 86 14
>
> Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
> Geschäftsführer: Dr.-Ing. Michael Hohmuth
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150212/2382babc/attachment.htm>


More information about the l4-hackers mailing list