l4-hackers June 2011

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

15 participants
16 discussions

Building L4Linux for ARM
by Anna Fischer 15 Jun '11

15 Jun '11

Hi, I am trying to compile/build L4Linux for an ARM-based platform. When I execute make then I get an error saying Makeconf.l4conf cannot be found. These are the steps I have followed to build L4Linux. # cd /root/l4linux # svn co http://svn.tudos.org/repos/oc/l4linux/trunk l4linux # cd l4linux/ # mkdir build # cp arch/l4/configs/arm-mp_defconfig build/.config # make O=build/ oldconfig # make O=build/ menuconfig (set L4 tree build directory to '/root/l4linux/l4linux/build') (de-configure PCI etc) # make O=build/ L4 source directory: /root/l4linux/l4linux PWD=/root/l4linux/l4linux make -C /root/l4linux/l4linux -f /root/l4linux/l4linux/arch/l4/Makefile.l4conf O=/root/l4linux/l4linux/build L4X_LOOP_CHECK=1 OUTPUT=/root/l4linux/l4linux/build/Makeconf.l4conf make[3]: *** No rule to make target `/.config.all', needed by `/root/l4linux/l4linux/build/Makeconf.l4conf'. Stop. make[2]: *** [/root/l4linux/l4linux/build/Makeconf.l4conf] Error 2 GEN /root/l4linux/l4linux/build/Makefile scripts/kconfig/conf --silentoldconfig Kconfig make[2]: *** No rule to make target `/.config.all', needed by `/root/l4linux/l4linux/build/Makeconf.l4conf'. Stop. Creating asm-l4/api-l4env -> asm/api symlink Creating asm-l4/l4lxapi/impl symlink Creating asm-l4/l4x-arm -> asm/l4x symlink Creating asm-l4/l4-arch/asm symlink Creating asm-l4/arm-arch/mach symlink Creating asm-l4/orig-arch symlink make[1]: *** No rule to make target `/root/l4linux/l4linux/build/Makeconf.l4conf', needed by `archprepare'. Stop. make: *** [sub-make] Error 2 My cross-compiler is arm-none-linux-gnueabi-gcc (Sourcery G++ Lite 2011.03-41) 4.5.2. I have successfully used it to also build fiasco + L4Re. Thanks for your help. Anna

2 4

Twl4030 over I2C at BB clone with Fiasco.
by Vasily Sartakov 10 Jun '11

10 Jun '11

Hello. I would like a use twl4030 usb on my BB clone board - devkit8000 and i have some question about it. For do it, shell i add platform initialisation from linux arm/mach-omap2/board-devkit8000 to l4l/arch/l4/kernel/arch-arm ? then change .config to use omap devices, like omap-i2c, twl4030 etc? Thanks -- Sartakov A. Vasily

2 2

Re: L4 on Qualcomm snapdragon chipset?
by joel nider 09 Jun '11

09 Jun '11

Hi Anna, I can confirm that it is possible. The Scorpion processor is fully ARM v7 compliant, and as you said the instruction set is compatible with the Cortex-A8. Of course you will have to write the BSP (in kern/arm/bsp) - I suggest using the realview directory as a template, and modify the files as needed. If you change the Kconfig file, then you can get Snapdragon to show up as a new target. # PF: Snapdragon # PFDESCR: 7x30, 7x27, etc # PFCAN: CAN_ARM_CPU_CORTEX_A8 # PFDEPENDS: ARM Joel On Mon Jun 06, 2011 at 13:55:37 +0100, Anna Fischer wrote: > I was wondering if anyone can confirm that Fiasco will run on a Qualcomm > Snapdragon chipset? > > http://www.arm.com/markets/mobile/qualcomm-snapdragon-chipset.php > > It is based on ARM v7 and similar to the Cortex-8. > > On the Fiasco build (make config) it only shows ARM CPUs. > Thanks, > Anna

1 0

L4 on Qualcomm snapdragon chipset?
by Anna Fischer 07 Jun '11

07 Jun '11

Hi, I was wondering if anyone can confirm that Fiasco will run on a Qualcomm Snapdragon chipset? http://www.arm.com/markets/mobile/qualcomm-snapdragon-chipset.php It is based on ARM v7 and similar to the Cortex-8. On the Fiasco build (make config) it only shows ARM CPUs. Thanks, Anna

3 5

Re: building L4 x86 on cygwin (Adam Lackorzynski)
by joel nider 01 Jun '11

01 Jun '11

Hi Adam, Sorry - I had not installed my GCC correctly. I just wanted to report that by using the following command line: make SYSTEM_TARGET=arm-elf- L4STD_INCDIR=/usr/local/lib/gcc/arm-elf/4.4.3/include/ CONFIG_KERNEL_LOAD_ADDR=0x80000000 I was able to build successfully on Cygwin, and load the kernel image to my device. I am now in the process of debugging the boot sequence. It seems the memory I am loading to is not zero-initialized, and this is causing some issues with non-initialized variables. Also, I don't have a serial port so printf() was crashing while trying to write to the Console. I will write back when I have completed, or get really stuck. Thanks for the support, Joel > Hi, > > On Sun May 22, 2011 at 12:09:56 +0300, joel nider wrote: > > I'm trying to build l4 on cygwin (windows) for x86. I have > built binutils 2.21 and gcc 4.5.2 as cross-compilers (-- > target=i386-elf). When I try to build l4, I pass > SYSTEM_TARGET=i386-elf- as a parameter to 'make'. > > > > Preprocessing seems to complete successfully, but compilation > fails on the first file (kip.cpp). The error message is: > > > > src/kernel/fiasco/src/types/types.h:4:20: fatal error: stddef.h: > No such file or directory > > > > My question is - what is missing? Do I need to build glibc? Or > did I miss something while installing my gcc? > > stddef.h comes with gcc, is it there in your installation? If, in > whichpath is it? > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

utcb's address in Fiasco.OC
by Chen Tian 01 Jun '11

01 Jun '11

Hi, Where is the utcb's address of a thread is stored? If I implement a user level thread context switch (i.e., change the contents in registers EIP/ESP and general purpose registers), will a thread lose its utcb pointer? Thanks. Best, Chen

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