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

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

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

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

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

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 fresh snapshot (http://l4re.org/download/snapshots-oc/l4re-snapshot-2014053111.tar.xz) and started building. Since drops-rd.rd was not found in the snapshot, I just

Question about dec_lock_cnt method in Context class

Hi All, I have a question about the dec_lock_cnt method in Context class under multiple processor. In its implementation, it checks if thread's home cpu is equal to current cpu. If not, it does not unset _running_under_lock variable, even if the _lock_cnt is 0. Why does it check if home cpu is

Re: advice on using ddelinux

Am 27.08.2014 um 17:02 schrieb Korbinian Ederer: Hello, thanks for the fast response. now I've created the include dir in the pkg/d_can folder. Then I added the PRIVATE_INC_DIR variable in the Makefile of the driver, but I still get the file not found error... What I'm doing wrong? From

Re: Device Tree Blob support in l4linux

On Mon Aug 25, 2014 at 14:22:57 +0200, Martin Schröder wrote: Am 21.08.2014 um 23:03 schrieb Adam Lackorzynski: I have some still hacky code on my disk which I think handles this. I have to check and clean this up to commit it. sounds promising! Even a dirty patch would help me a lot. Ack,

Re: Fiasco, L4Re, L4linux for Pentium 5

On Mon Aug 25, 2014 at 13:04:25 +, Masti Ramya Jayaram wrote: I am trying to run L4linux on top of fiasco/L4re using an older version from the svn (for those interested, I am trying to run this on Intel SCC and therefore need an old build). I am first trying to run this on qemu and can

Re: GPIO Interrupt on L4Linux

On Tue Aug 26, 2014 at 23:04:41 +0300, Yunchuan Geng wrote: I am implementing a driver using GPIO input as interrupt. When setup handler for gpio, either from irq_set_chained_handler() or requst_irq() in kernel driver, it finally calls l4lx_irq_io_startup() function and return /l4x-irq:

Re: Mapping memory into process address space

On 08/21/2014 02:14 PM, Adam Lackorzynski wrote: Yes, you'd need to create a new region mapper for the new task, one that knows about the virtual address space layout of that one. Should be possible by using a new instance of Region_map as done in the l4re_kernel.You'll also need to create an