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@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@kernkonzept.com <mailto:matthias.lange@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@os.inf.tu-dresden.de <mailto:adam@os.inf.tu-dresden.de>
>     <mailto:adam@os.inf.tu-dresden.de
>     <mailto:adam@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@os.inf.tu-dresden.de
>     <mailto:adam@os.inf.tu-dresden.de>
>     >     <mailto:adam@os.inf.tu-dresden.de
>     <mailto:adam@os.inf.tu-dresden.de>>
>     >       Lackorzynski         http://os.inf.tu-dresden.de/~adam/
>     >
>     >     _______________________________________________
>     >     l4-hackers mailing list
>     >     l4-hackers@os.inf.tu-dresden.de
>     <mailto:l4-hackers@os.inf.tu-dresden.de>
>     <mailto:l4-hackers@os.inf.tu-dresden.de
>     <mailto:l4-hackers@os.inf.tu-dresden.de>>
>     >     http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>     >
>     >
>     >
>     >
>     > _______________________________________________
>     > l4-hackers mailing list
>     > l4-hackers@os.inf.tu-dresden.de
>     <mailto:l4-hackers@os.inf.tu-dresden.de>
>     > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>     >
>
>
>     --
>     Matthias Lange, matthias.lange@kernkonzept.com
>     <mailto:matthias.lange@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@kernkonzept.com, +49 - 351 - 41 88 86 14

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth