l4-hackers December 2008

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

7 participants
8 discussions

Back to UTCB IPC
by Marc CHALAND 11 Oct '09

11 Oct '09

Hi, I am back with my problem with UTCB IPC. To sum up the context : I use pure l4env applications. Here is the scenario between my server and my client : 1. client makes an UTCB IPC to manager. Manager does an l4rm_area_reserve, creates a rcv_fpage, creates worker and sends back worker thread id to client. 2. client allocates memory and associated flexpage and sends it to server. 3. UTCB IPC is sent to worker with 3 parameters : - on client side : utcb->values=0xbff00200: arg1=0x2 arg2=0x1 arg3=0x6 - on server side : utcb->values=0xbff00200: arg1=0x241401 arg2=0x0 arg3=0x7069776c It seems that 0xbff00200 is not mapped on the same memory on client and server side. As there is no problem for first IPC (utcb->values is also 0xbff00200), is there any potential problem with flexpage ? As utcb->values is still the same, what happens if several threads try to make UTCB IPC ? Another question : when I link my application with liblogserver.a, I have strange logs : .rm.sem.mainMain function returned. It seems that .rm .sem and .main are added by l4env, but I didn't find where. Regards Marc

4 9

Problem of running L4Linux
by Adam Chang 09 Feb '09

09 Feb '09

Dear all: I have succeeded in building L4Linux, and then I tried to boot Fiasco and run L4Linux on VMware.When I tried to download your version of GRUB bootloader on SVN, it said "At revision 422", not downloaded something. So where can I download the source code of your version of GRUB bootloader? And is there some documentation of running L4Linux on Fiasco? Thanks! Best Regards. Adam Chang -- Adam Hung-Hsiang Chang windbread(a)gmail.com +886-987-335398 Wireless Networking and Embedded Systems Lab Graduate Institute of Networking and Multimedia National Taiwan University

5 17

DDEkit for Linux2.6 from svn
by Shakthi Kannan 03 Jan '09

03 Jan '09

Hi, I would like to know from where I can get the DDEKit (Device Driver Environment) for Linux2.6 from svn? http://wiki.tudos.org/DDE/DDEKit >From the svn documentation: http://www.inf.tu-dresden.de/index.php?node_id=1735&ln=en ./repomgr modules lists the following: dice, fiasco, hello, l4env, l4linux-2.6-env. Thanks! SK -- Shakthi Kannan http://www.shakthimaan.com

4 33

Error of building L4 Libraries
by Qmo (Yi-Sheng) 31 Dec '08

31 Dec '08

Dear all: I am trying to build fiasco. My compile environment is Ubuntu 7.1 + gcc 3.4.6 I follow the steps in http://os.inf.tu-dresden.de/fiasco/use.html#install When building L4 system libraries and support servers, there are some error message: install -m 755 bootstrap /home/kashin08/tudos/l4/builddir/bin/x86_586/bootstrap ... Generating bootstrap.stripped objcopy -S bootstrap bootstrap.stripped BFD: bootstrap.stripped: section `.gnu.linkonce.r._ZTVN19_GLOBAL__N__Z4uartv18BootstrapIOBackendE' can't be allocated in segment 0 objcopy: bootstrap.stripped: Bad value BFD: bootstrap.stripped: section `.gnu.linkonce.r._ZTVN19_GLOBAL__N__Z4uartv18BootstrapIOBackendE' can't be allocated in segment 0 objcopy: bootstrap.stripped: Bad value make[5]: *** [bootstrap.stripped] Error 1 make[5]: Leaving directory `/home/kashin08/tudos/l4/builddir/pkg/bootstrap/server/src/OBJ-x86_586' make[4]: *** [/home/kashin08/tudos/l4/builddir/pkg/bootstrap/server/src/OBJ-x86_586] Error 2 make[4]: Leaving directory `/home/kashin08/tudos/l4/pkg/bootstrap/server/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/home/kashin08/tudos/l4/pkg/bootstrap/server' make[2]: *** [server] Error 2 make[2]: Leaving directory `/home/kashin08/tudos/l4/pkg/bootstrap' make[1]: *** [bootstrap.bin] Error 2 make[1]: Leaving directory `/home/kashin08/tudos/l4/pkg' make: *** [pkg] Error 2 Anyone can help me? Thank you very much. Best Regards, Qmo **

2 1

building bootstrap
by Tsai, Tung-Chieh 23 Dec '08

23 Dec '08

Dear All, I'm try to port Fiasco to an ARM platform, and I'm confused by the memory address settup in bootstrap package. What is the relationship between DEFAULT_RELOC_$(ARCH), MOD_ADDR, and RAM_BASE ? In the setting of Integratorcp, they're : DEFAULT_RELOC_arm = 0x0140,0000 RAM_BASE = 0x0 MOD_ADDR = 0x0150,0000 (I wonder if this work on real integratorcp board ? Although QEMU just put 2 memory with the same size on 0x0 and 0x8000,0000, is the real one will remap all it's memory to 0x0 ?) Because I see DEFAULT_RELOC_arm+RAM_BASE is used to be start address and in IMAGE_MODE, RAM_BASE+MOD_ADDR is used to be _mod_addr, So I guess RAM_BASE manes where the physical ram start, and DEFAULT_RELOC_arm, MOD_ADDR are realative to RAM_BASE, which are used to control start address of bootstrap image and specify where modules move to. With these assumption, it will work unitl find_kip(), `fail to find kernel info page.' And then I found the address in regions are strange, only address in bootstrap and multiboot info seems correct, others seems irrelevant to RAM_BASE, looks like started at 0x0. I guess there is some setting I miss. Could anyone give some advice about it ? Best Regards, Tsai, Tung-Chieh

2 3

pxa uart driver bug
by Tsai, Tung-Chieh 23 Dec '08

23 Dec '08

Dear all, The uart driver of pxa in l4/pkg/arm_drivers and l4/pkg/drivers seems forget to add volatile on Uart_pxa::wr and Uart_pxa::rd. This still work on qemu since qemu didn't emulate uart timing, but fail on standard 16550 uart on real board. And I'm confuse on l4/pkg/arm_drivers and l4/pkg/drivers. The uart directory in them are the same, and they all build libarm_uart.a. But while building, it'll first build drivers, then bootstrap, and then arm_drivers, and will override libarm_uart.a. It seems l4/pkg/drivers are redundant. Best Regards, Tsai, Tung-Chieh

2 1

building a toolchian with hard float support
by Gabi Voiculescu 11 Dec '08

11 Dec '08

Hello. I have to create a toolchain with hard fpu support for arm1176's VFPv2. That's because, by looking at the ARM documentation I don't see how I can perform mathematic operations on the FPU (like FABSx, FADDx without using these mnemonics), (as it is the case for fpu load/store operations), so as far as see, I have to build a toolchain that recognized these mnemonics. I dont' know where to start. Has anybody used a script like crosstools for this? I hope by creating a new dat file with proper GCC and GLIBC argumets I could do the job myself, but I have no idea what would those arguments be or where to find them: GCC += ?? --with-float=hard --fpu=vfpv2 --cpu=arm1176jzf ?? GLIBC += ?? Where can I find what gcc version might include support for my hard fpu? I tried the man pages in gcc-4.1.2 and gcc-3.4.4 without success and I can't figure out where to look for this on gnu.org. Can you point me in the right direction to use.

2 2

Problem with Building L4Linux-2.6
by Adam Chang 05 Dec '08

05 Dec '08

Dear all: I'm trying to build L4Linux ,so I followed the tutorial on this website http://os.inf.tu-dresden.de/L4/LinuxOnL4/build-2.6.shtml but I have encountered some difficulties. First I got Fiasco, L4Env, L4Linux from SVN, and the following is the steps that I tried to build L4Linux: 1. make -C l4 O=/my-user-build-dir oldconfig 2. make -C l4 O=/my-user-build-dir config unset Compilers and Tools ---> Build doc directories 3. cd l4 make O=/my-user-build-dir 4. Compile Fiasco 5. Go to the l4linux-2.6 directory make menuconfig set L4 tree build directory unset some features like SMP, HPET, highmem, MTRR, MCE, PARAVIRT, KEXEC, APM, HUGETLBFS 6. make Then the following is a error message ERROR: CONFIG_VM86 must not be enabled. But I check the file in l4linux-2.6 directory ./arch/l4/Kconfig, CONFIG_VM86 must be enabled, but the error message said that must be enabled, so I was confused. Then ,I got Fiasco, L4Env, L4Linux from snapshot , http://os.inf.tu-dresden.de/opentc/download.xml then I followed same steps to build, when I did "make O=/my-user-build-dir", there is a error message: /<my-user-build-dir>/pkg/uclibc++/lib/uclibc++/ARCH-all/include/associative_base:321: error: declaration of 'typedef class std::_associative_citer<ValueType, Compare, Allocator> std::_associative_iter<ValueType, Compare, Allocator>::_associative_citer' /<my-user-build-dir>/pkg/uclibc++/lib/uclibc++/ARCH-all/include/associative_base:248: error: changes meaning of '_associative_citer' from 'class std::_associative_citer<ValueType, Compare, Allocator>' I comment typedef _associative_citer<ValueType, Compare, Allocator> _associative_citer; at associative_base:321, and replace _associative_citer by _associative_citer<ValueType, Compare, Allocator>. I continued building, and there is some message: Package dependencies missing: l4con, skipping. Package dependencies missing: dope, skippingg. Compiling L4Linux , unset SMP, HPET, highmem, MTRR, MCE, PARAVIRT, KEXEC, APM, HUGETLBFS , L4_FBDRIVER, but there is still a error message: make[1]: *** No rule to make target `arch/l4/power/arch-i386/../../../i386/power/suspend.o', needed by `arch/l4/power/arch-i386/suspend.o'. Stop. make: *** [arch/l4/power/arch-i386] Error I don't know how to solve these problem, can someone give me some advice about building L4Linux. Thanks!! Best Regards. Adam Chang -- Adam Hung-Hsiang Chang windbread(a)gmail.com +886-987-335398 Wireless Networking and Embedded Systems Lab Graduate Institute of Networking and Multimedia National Taiwan University

2 1

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 December 2008