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.

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");

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> 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>> 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>
>       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>
>     http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
>
>
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers@os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>


--
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