l4-hackers

l4-hackers@os.inf.tu-dresden.de

2827 discussions

compiling and running l4android-arm in qemu
by cem akpolat 18 Aug '14

18 Aug '14

Dear all, I have compiled l4android, l4 and fiasco for arm architecture and now I am attempting to run elf image in qemu.However, I see only a black screen in qemu. There is any io messages. What could be the reason? My qemu version is 1.7.1. The images that I have after making elfimages are: bootstrap.elf bootstap_L4LinuxARM bootstap_L4LinuxARM.elf The used command for running image: $qemu-system-arm -M realview-pbx-a9 -m 2048 -kernel bootstrap_L4LinuxARM.elf -serial stdio Thanks in advance, Sincerely, Cem Akpolat

2 1

Mapping memory into process address space
by Noah Zentzis 15 Aug '14

15 Aug '14

------------------------------------------------------------------------ I don't want to use libloader because I'm trying to create a new process with dynamically-generated assembly (and alter it while the process is running), so I can't really output an ELF binary. On 08/18/2014 08:50, Björn Döbel wrote: > The dataspace that prog_attach_ds() is called with is allocated by the > ELF loader in libloader/include/elf. > > reserve_utcb_area() is supposed to not attach a real dataspace but > reserve a virtual memory area that will not be used by the new > application's RM to attach any other memory, because this is where the > UTCBs will later be mapped to by the kernel iirc. I'm pretty sure I need to do this myself, since any calls to map() are causing the program to freeze (could this be because the task doesn't have its UTCB allocated yet?). I'm also not sure what to use for the destination offset of the L4::Task::map() call, so that might be the issue. > At this point your best way to do so is > to use the L4::Task::map() operation on the capability of your newly > created task. How do I specify what point in the target the memory maps to? It looks like the L4::Dataspace::map() would work, but without being able to map the capability, I can't really check. Thanks! - Noah Zentzis

3 3

Build system
by teclis High Elf 14 Aug '14

14 Aug '14

If I execute this command from the l4 build directory: make E=hello S=bootstrap In which Makefile or script is the S= processed (its a bit of a difficult thing to grep for :) thanks

2 3

Accessing dbg_info()->dbg_id() for threads in ready queue class
by Valentin Hauner 13 Aug '14

13 Aug '14

Hi, how can I access the identificator used in JDB's thread list in the enqueue method of my ready queue class? Following code snippet does not work: > include "thread.h" > [...] > Ready_queue_edf<E>::enqueue(E *i, bool) { > printf("%d", static_cast<Thread*>(i->context())->dbg_info()->dbg_id()); } It results in various compiler errors: > [...] > ./kernel/fiasco/src/kern/irq.cpp:504:11: error: ‘class Thread’ has no member named ‘home_cpu’ > ./kernel/fiasco/src/kern/irq.cpp:505:15: error: ‘class Thread’ has no member named ‘drq’ > [...] > ./kernel/fiasco/src/kern/tcboffset_in.h:11:3: error: ‘class Thread’ has no member named ‘_caller’ > ./kernel/fiasco/src/kern/tcboffset_in.h:14:3: error: ‘class Thread’ has no member named ‘_timeout’ What else do I have to include that it works? Best regards, Valentin

2 1

Mapping memory into process address space
by Noah Zentzis 13 Aug '14

13 Aug '14

I'm trying to launch a new process (without libloader) and I'm having trouble mapping memory to it. I've found the prog_attach_ds and prog_reserve_utcb_area methods in libloader and ned, but I'm not sure where they're getting the memory to assign or the region map for the task. Can I just do something like: L4Re::Util::Cap<L4Re::Dataspace> stack; L4Re::Env::mem_alloc()->alloc(0x10000, stack); or are there special steps I need to take when I want to give another process access to the same memory? Thanks! - Noah Zentzis

2 1

Question about IPI interrupt handler
by Yuxin Ren 11 Aug '14

11 Aug '14

Hi All, I cannot understand the logic of the IPI interrupt handler very well. I hope someone can help me. Thanks a lot. I am using intel IA32 multi core cpu. My scenario is one client and one server thread on different core. Client sends simple data-only IPC to the server. 1. The function Thread::handle_remote_requests_irq is the IPI interrupt handler, right? So it is running within the interrupt context? If so, 2. In this function, the variable "c" is set to the current Context. On the server core, when the server is blocked(waiting for IPC), what is current Context? The server thread or the idle thread? I have no other threads in the user level, and I assume there are no background threads in the kernel or L4Re. In addition, I guess each thread associates with a Context. If my assumptions are right and that current Context is idle thread, 3. At the last of this function, it calls c->handle_drq(). But when does the server thread's handle_drq() is called? 4. In what situation, the variable "resched" will be set to true? When it is true, 5. c->schedule() will be called, does it mean that we can switch to another thread in the interrupt context? It cannot make sense to me. Thanks again. Best, Yuxin

2 1

how to get or initialize clock in L4Linux
by Yunchuan Geng 08 Aug '14

08 Aug '14

Hi, L4hackers, I am implementing I2C drivers from native linux to L4Linux. I am using Freescale iMX6Q SD board. Kernel version 3.14 in ./drivers/i2c/busses/i2c-imx.c, function i2c_imx_probe(), devm_clk_get() is called. And fails at here. I understand that clock are initialized from function "__init imx6q_clocks_init()". I managed to compile and call the imx6q_clocks_init() function from L4Linux, but encountered many problem. The question is, Is it necessary to initialize clocks in L4Linux and how? Thanks in advance? -Yunchuan

2 3

strange response time question
by Yuxin Ren 06 Aug '14

06 Aug '14

Hi All, Now I am testing the response time in Fiasco, especially for the worse case. The results are strange. The worse case result are always around 2us. I have filtered out the timer interrupt, so I cannot understand what happened. I am using intel IA32 multi core cpu. Do you have any idea about what can cause the 2us delay? Thank you so much. Yuxin

5 8

response time in Fiasco
by Yuxin Ren 06 Aug '14

06 Aug '14

Hi All, Are there any papers or documentation talking about response time in Fiasco? I think this is an important aspect in Fiasco as it is designed for real time. Thank you. Yuxin

3 2

DDE-Kit
by Korbinian Ederer 05 Aug '14

05 Aug '14

Hello, I'm searching for some Informations about using the dde-kit. My goal is to use the SocketCan driver from Linux eith the l4re on an ARM BeagleBone Black (Omap3x). The Manual at http://os.inf.tu-dresden.de/ddekit/ did not work because of missing l4/sys/cache.h After some searching I discovered a copy of dde also in the fiasco snapshot in l4/pkg/dde/ but have no idea of how to use it. I would be very helpfull to get some advice about usefull documentation or some hints about the usage of dde Thanks a lot Korbinian Ederer

2 1

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers