Minimal requirements to run L4linux using only a serial console

[Martin Schröder]

Hi Masti,

I just applied your config, replaced "drops-rd.rd" by "ramdisk-x86.rd" and everything (command prompt, debugger) runs fine as 
expected in Qemu. Maybe you ran into a similar problem as described in this thread:

http://os.inf.tu-dresden.de/pipermail/l4-hackers/2012/thread.html#5165


Best regards,
    Martin


Am 27.08.2014 um 15:18 schrieb Masti Ramya Jayaram:
> Sorry, a couple of typos in the l4linux.cfg
> --vim:set ft=lua:
>
>
> L4.default_loader:start({ caps = {
>        log = L4.Env.log:m("rws"),
>      },
>      l4re_dbg = L4.Dbg.Warn,
>      log = { "l4linux", "yellow" },
>    }, "rom/vmlinuz mem=64M console=ttyLv0 l4x_rd=rom/drops-rd.rd root=1:0 ramdisk_size=4000 l4ser.vkey_enable=1");
>
> Thanks in advance,
> ramya
>
> ________________________________________
> From: l4-hackers [l4-hackers-bounces at os.inf.tu-dresden.de] on behalf of Masti  Ramya Jayaram [rmasti at inf.ethz.ch]
> Sent: 27 August 2014 14:07
> To: l4-hackers at os.inf.tu-dresden.de
> Subject: Minimal requirements to run L4linux using only a serial console
>
> Dear all,
>
> I am trying to run L4linux on fiasco/l4re but with the keyboard and VGA disabled. I can get all the way to the command prompt (of the shell) in the initramfs but then, on pressing a key, I get a page fault and I cannot debug the system anymore using the serial_esc. I suspect it is my configuration which I have provided below. I was wondering what the minimal packages are to achieve this.
>
> modules.list:
> entry l4linux
> kernel fiasco -serial_esc -freq=533000
> roottask moe rom/l4linux.cfg
> module l4re
> module ned
> module l4linux.cfg
> module io
> module vmlinuz
> module drops-rd.rd
>
> I have disabled the framebuffer and input server in the L4linux stub drivers configuration and enabled the serial console.
>
> l4linux.cfg:
>
> --vim:set ft=lua:
>
> L4.default_loader:start({ caps = {
>        log = L4.Env.log:m("rws"),
>      },
>      l4re_dbg = L4.Dbg.Warn,
>      log = { "l4linux", "yellow" },
>    }, "rom/io -vvvv rom/vmlinuz mem=64M console=ttyLv0 l4x_rd=rom/drops-rd.rd root=1:0 ramdisk$
>
>
> I also specify a custom frequency for my board to fiasco.oc, do I have to make similar modifications to l4linux (e.g., Timer frequency)?
>
> Thanks,
> Ramya
>
>
>
> _______________________________________________
> l4-hackers mailing list
> 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
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>