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=… [View More]

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 … [View More]

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.… [View More]

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 … [View More]

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.… [View More]

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 … [View More]

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-… [View More]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 [View Less]

2 1

2025

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