l4-hackers April 2011

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

9 participants
9 discussions

Start a nNew thread

information on interrupt thread convention
by Jason Phillips 21 May '11

21 May '11

hi all, does the interrupt number of interrupt thread correspond to IRQ number? So thread-id for IRQ2 is 0x00008001?

2 9

how i can determine utcb loaction in order to make thread
by Jason Philip 01 May '11

01 May '11

I am very puzzled, I can't seem to find utcb location in L4Ka::pistachio. One example do this: L4_ThreadId_t mylocalid = L4_MyLocalId (); utcb_base = *(L4_Word_t *) &mylocalid; utcb_base &= ~(L4_UtcbAreaSize (kip) - 1); where the current thread is initial thread (main), but i try this it do not work. Can someone suggest proper way to determine the utcb location so that I can create a new thread? Please

3 13

Ethernet on Beagleboard xM with Ankh+L4Linux ?
by Julien Heyman 23 Apr '11

23 Apr '11

Hello, I am trying to understand what it would take to have access to (physical) ethernet from L4Linux running on a Beagleboard xM. As far as I understood/read, I can either try to integrate the native ethernet driver in L4Linux, or rely on Ankh networking server. Since I am running two instances of L4Linux, I'd rather use the Ankh solution. >From what I see Ankh does not currently include an appropriate driver for the BB xM's ethernet chip. Is it doable to pick an existing ethernet driver for the BB xM from, say, the Angström linux distribution for Beagleboard, and integrate it to Ankh ? Assuming this is possible, do I understand correctly that I would then only have to enable the Ankh driver option in the L4Linux configuration, to get an ethernet access in L4Linux ? Regards, Julien

2 2

Assertion failed: 'prev_next' [ret=0xf000e9c8] (arm qemu realview pbx system)
by Siegfried Podesser 19 Apr '11

19 Apr '11

hello together, If I try to run the L4Linux or the hello example via a patched QEMU (with trustzone support) I get the following error message: ------------ ./qemu-system-arm -M vexpress-a9 -kernel /home/beresford/Work-Repositories/sepia/desastro/l4/build/images/bootstrap_hello.elf -initrd /home/beresford/Downloads/ramdisk-arm.rd -append "console=ttyAMA0 console=tty0 dhcp=on" -m 1024 -s -gdb tcp::5022 erster teilerfolg: Fiasco + L4 hüpfen zumindest mal an... ./qemu-system-arm -M vexpress-a9 -kernel /home/beresford/Work-Repositories/sepia/desastro/l4/build/images/bootstrap_L4linux_ARM.elf -initrd /home/beresford/Downloads/ramdisk-arm.rd -append "console=ttyAMA0 console=tty0 dhcp=off" -m 512 -smp 1 -gdb tcp::1234 -serial stdio bp147: attached 100e6000..100e6fff to TZDECPROT0[6] bp147: attached 100e4000..100e4fff to TZDECPROT0[4] L4 Bootstrapper Build: #3 Tue Apr 19 09:46:31 CEST 2011, 4.5.1 Scanning up to 256 MB RAM Memory size is 256MB (00000000 - 10000000) RAM: 0000000000000000 - 000000000fffffff: 262144kB Total RAM: 256MB mod09: 01500000-01800000: ramdisk-arm.rd mod08: 0124e000-014ff488: vmlinuz.arm mod07: 0124d000-0124d0bd: arm-rv.io mod06: 01162000-0124c7d4: io mod05: 01161000-01161189: l4lx.cfg mod04: 01105000-011601ac: ned mod03: 010e3000-01104488: l4re mod02: 010a5000-010e266c: moe mod01: 01093000-010a4304: sigma0 mod00: 01015000-01092a2c: fiasco Moving 10 modules to 1100000 with offset eb000 moving module 10 { 1500000-1800000 } -> { 15eb000-18eb000 } moving module 09 { 124e000-14ff488 } -> { 1339000-15ea488 } moving module 08 { 124d000-124d0bd } -> { 1338000-13380bd } moving module 07 { 1162000-124c7d4 } -> { 124d000-13377d4 } moving module 06 { 1161000-1161189 } -> { 124c000-124c189 } moving module 05 { 1105000-11601ac } -> { 11f0000-124b1ac } moving module 04 { 10e3000-1104488 } -> { 11ce000-11ef488 } moving module 03 { 10a5000-10e266c } -> { 1190000-11cd66c } moving module 02 { 1093000-10a4304 } -> { 117e000-118f304 } moving module 01 { 1015000-1092a2c } -> { 1100000-117da2c } Scanning fiasco Scanning sigma0 Scanning moe rom/l4lx.cfg Relocated mbi to [0x100f000-0x100f151] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x2000 Regions of list regions [ 1000, 19ff] { a00} Kern fiasco [ 2000, 8cfff] { 8b000} Kern fiasco [ 90000, 9e193] { e194} Sigma0 sigma0 [ 140000, 18b48b] { 4b48c} Root moe [ 1000000, 10143eb] { 143ec} Boot bootstrap [ 100f000, 100f24e] { 24f} Root Multiboot info [ 11ce000, 18eafff] { 71d000} Root Modules Memory API Version: (87) experimental Sigma0 config ip:00090000 sp:01013044 Roottask config ip:00140088 sp:00000000 Starting kernel fiasco at 00001000 Realview System ID: Rev=1 HBI=190 Build=f Arch=5 FPGA=00 L2: ID=00000000 Type=00000000 L2 cache enabled Hello from Startup::stage2 Assertion failed: 'prev_next' [ret=0xf000e9c8] /home/beresford/Work-Repositories/sepia/desastro/kernel/fiasco/src/kern/buddy_alloc.cpp:23 at f000e834 --------------------------------- If I remove the assertion check it executes a little bit more and I get the following error: --------------------------------- ... Starting kernel fiasco at 00001000 Realview System ID: Rev=1 HBI=190 Build=f Arch=5 FPGA=00 L2: ID=00000000 Type=00000000 L2 cache enabled Hello from Startup::stage2 Per_cpu_data_alloc: (orig: 0xf007a628-0xf007b030) Initialize page table Number of IRQs available at this GIC: 32 Number of IRQs available at this GIC: 32 Vmem_alloc::init() Cache config: ON ID_PFR0: 00001031 ID_PFR1: 00000011 ID_DFR0: 00000000 ID_AFR0: 00000000 ID_MMFR0: 00100103 ID_MMFR1: 20000000 ID_MMFR2: 01230000 ID_MMFR3: 00002111 Panic: UTCB pointer page allocation failure Press any key to reboot. ---------------------------------- Through the mailing list i found your posting from Thu, 25 Sep 2008 10:57:29 where you have suggested to check the RAM_SIZE_MB in the l4 config file. I've checked it and it is set to 256MB as my qemu is set as well. I tried it further with 512MB and 1GB but it changes nothing. Do you have any further ideas ? kind regards, siegfried

2 1

L4Linux (arm) - change CPU speed
by Siegfried Podesser 12 Apr '11

12 Apr '11

Hello, is there a way or an example source code to change the CPU speed? I'm using the original Fiasco kernal together with the given L4Linux for arm platforms. Thank you for your help! kind regards, siegfried

2 1

How to add more NIC drivers for ankh?
by Alexey Aizatullin 10 Apr '11

10 Apr '11

Hello, Could you please explain what steps should I do to add drivers for other ethernet adapters for ankh? -- --------------------------------------- Alexey Aizatullin

2 1

Increase L4linux ramdisk size ?
by Julien Heyman 07 Apr '11

07 Apr '11

Hello, I am using Fiasco.OC/L4Re/L4Linux on a Beagleboard. After having successfully used/customized the L4Linux ramdisk provided as part of the snapshot, I created a larger ramdisk (8Mb instead of ~3Mb) from scratch and adjusted the "ramdisk_size" option on the linux boot args line in my LUA script, and rebuilt my u-boot image. I then get plenty of errors during linux boot, starting with: RAMDISK: ext2 filesystem found at block 0 RAMDISK: Loading 8000KiB [1 disk] into ram disk... l4linux1| Non-resolvable page fault at e0d1619, ip 170384. l4linux1| Page fault (non-resolved): pfa=e0d1619 pc=170384 l4linux1| Non-resolvable page fault at e0d161a, ip 170384. Internal error: Boom!: 410005 [#1] etc... My questions: - is there a specific way to create a ramdisk file for l4linux, and/or specific constraints on the ramdisk size ? - am I missing other configuration parameters than ramdisk_size that should be adjusted to reflect the larger ramdisk size ? Thanks, Julien

3 5

How to block an API call without blocking server message loop?
by Valery V. Sedletski 05 Apr '11

05 Apr '11

Hi all. When an L4 server is started, its main thread goes into the server loop and blocks until a message from a client is received. When a message is received, a server loop calls a dispatch function, which calls functions, specific to RPC opcodes. The problem is that if one of these functions is blocked, the whole server loop is blocked. In my case, I am implementing an API, which is called by a client program. This API starts a child process, and has an option to block the calling program, until the child is terminated. This API is called DosExecPgm(). So, the client program calls this API, then the API call blocks, and then the child must be executed, and finally, call another API, which is called DosExit(). But when DosExecPgm is called, the server loop is blocked, and it cannot receive a message for calling the next API, DosExit. I tried to implement API call blocking using a semaphore. DosExecPgm from a parent process is waiting on the semaphore, and DosExit from a child process reset the semaphore. So, the problem is with server loop blocking. So, I thought to make for DosExecPgm a dedicated server loop. which is blocked, but the main server loop continues to execute. But how to correctly make these server loops? There are many API's which can block, so, what can I do if not to dedicate a separate loop for each function? And, if there are many server loops, then there will be many threads executing them, so I must to register each thread on the name server. -- Then how can the calling program determine, which server thread to call for each API? I feel that these problems have common solutions, but i'm in trouble -- maybe, someone will help with finding these common solutions? Thanks in advance, WBR, valery

2 5

Build errors in building L4re for ARM
by Rahul Ramasubramanian 04 Apr '11

04 Apr '11

Hi I was trying to build l4re and ran into rather strange compilation errors. The code where the error is trowing up is in ../src/l4/pkg/bootstrap/server/src/startup.cc The relevant part of the error log looks like make[5]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/libvbus/lib/src/OBJ-arm_armv6zk-l4f' ==> "libcxx_libc_io_e.a" built ==> Installing libcxx_libc_io.a to local build-tree ==> Installing libcxx_libc_io_e.a to local build-tree make[5]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/cxx_libc_io/lib/src/OBJ-arm_armv6zk-l4f' make[4]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/cxx_libc_io/lib/src' make[3]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/cxx_libc_io/lib' make[2]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/cxx_libc_io' ... Compiling ios_failure.o make[5]: Entering directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/libvbus/lib/src/OBJ-arm_armv6zk-l4f' ... Compiling vbus.o ... Compiling module.o ... Compiling ARCH-arm/crt0.o ... Compiling vbus_pci.o ... Compiling region.o ... Compiling ios_init.o ... Compiling vbus_gpio.o === Building package "libkproxy" === ... Compiling startup.o make[2]: Entering directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/libkproxy' arm-none-linux-gnueabi-g++: Mar: No such file or directory arm-none-linux-gnueabi-g++: 31: No such file or directory arm-none-linux-gnueabi-g++: 18:28:52: No such file or directory arm-none-linux-gnueabi-g++: EDT: No such file or directory arm-none-linux-gnueabi-g++: 2011": No such file or directory <command-line>: warning: missing terminating " character /home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap/server/src/startup.cc:1054: error: missing terminating " character ... Compiling vbus_i2c.o make[5]: *** [startup.o] Error 1 make[5]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/bootstrap/server/src/OBJ-arm_armv6zk' make[4]: *** [/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/bootstrap/server/src/OBJ-arm_armv6zk] Error 2 make[4]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap/server/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap/server' make[2]: *** [server] Error 2 make[2]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap' make[1]: *** [bootstrap] Error 2 make[1]: *** Waiting for unfinished jobs.... ... Compiling ios-inst.o The toolcahin I am using is arm-linux-gcc-4.3.2.tgz, which I downloaded from some embedded system user group (www.friendlyarm.net) I think that this maybe has something to the toolchain. Can anyone point out why this error is and what i should do to fix this error . Thanks and Regards Rahul Ramasubramanian

2 3

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 April 2011