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