Re: Minimal requirements to run L4linux using only a serial console

Martin Schröder Wed, 27 Aug 2014 09:34:49 -0700

Hi Masti,

you have all of them already! I did not alter any other file beside the files you already sent. I inserted them into a freshsnapshot (http://l4re.org/download/snapshots-oc/l4re-snapshot-2014053111.tar.xz) and started building. Since "drops-rd.rd" was notfound in the snapshot, I just renamed "ramdisk-x86.rd" to "drops-rd.rd". Nothing more.


Martin



Am 27.08.2014 um 18:02 schrieb Masti Ramya Jayaram:

Hey Martin,

thanks for the quick response. Could you send me your configs (l4linux, fiasco, 
l4re) so that I can try it with that?

Thanks,
Ramya
________________________________________
From: l4-hackers [l4-hackers-boun...@os.inf.tu-dresden.de] on behalf of Martin 
Schröder [martin.schroe...@openlimit.com]
Sent: 27 August 2014 16:28
To: l4-hackers@os.inf.tu-dresden.de
Subject: Re: Minimal requirements to run L4linux using only a serial console

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-boun...@os.inf.tu-dresden.de] on behalf of Masti  
Ramya Jayaram [rma...@inf.ethz.ch]
Sent: 27 August 2014 14:07
To: l4-hackers@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@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



_______________________________________________
l4-hackers mailing list
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

Re: Minimal requirements to run L4linux using only a serial console

Reply via email to