l4-hackers January 2011

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

15 participants
21 discussions

16 Jan '11

I keep seeing mention of there being a PowerPC WiP but can't seem to find it anywhere and the version in the snapshots and svn repos don't seem to have PowerPC as a target option. Where can I find this work? Cheers, Wes

2 2

Cannot determine L4 source directory
by eric van tassell 16 Jan '11

16 Jan '11

I've built L4Re and Fiasco without error but get the message below trying to build L4Linux. Does this indicate that CONFIG_L4_OBJ_TREE is set improperly? What should it point to? My directory structure looks like $ROOT /kernel /out #build dir /l4 /l4/out /l4linux /l4linux/out ERROR: Cannot determine L4 source directory Please properly set the path to your L4 build directory in the configuration menu. make[2]: *** [/home/evt/wrk/L4/TUD/forest1/src/l4linux/out/Makeconf.l4conf] Error 1 -- - evt (Eric van Tassell) twitter: evt_texelsoft linked-in: linkedin.com/in/evttxl

2 1

L4 fpages
by jason philip 16 Jan '11

16 Jan '11

I new to the L4 microkernel and do not understand how fpages works. What are the functions of fpages? Can them be used to extend the address space? Are they just for copy a region from one address space to other address space?

4 6

neophyte startup question
by eric van tassell 16 Jan '11

16 Jan '11

I'm intending to target an arm board in a few weeks but just to build and run the code does anyone have a suggestion as to the easiest way to get started? Do people usually use qemu to experiment with an x86 build? My goal is just to build the code and prove it boots, then move toward arm. Thanks. -- - evt (Eric van Tassell) twitter: evt_texelsoft linked-in: linkedin.com/in/evttxl

2 1

Thread IP initialization
by jason philip 15 Jan '11

15 Jan '11

How do initialize the IP or SP for thread or determine it location? In the "ThreadControl" system call (which used to create threads) it requires a IP and a SP, so where you get these values from? Are they implicitly determined by the kernel? I've briefly read pingpong source file but the calls made in the source do not seem to provide these values. And also how do I load program in order to execute it? I know this probably sounds like an easy question but I just started experimenting with l4 and I just getting to know things.

4 3

Re: Explanation of ARM TrustZone Support?
by Wesley Miaw 14 Jan '11

14 Jan '11

On Jan 13, 2011, at 3:00 AM, l4-hackers-request(a)os.inf.tu-dresden.de wrote: > Wesley Miaw(wesley@wesman.net)@2011.01.12 17:22:52 -0800: >> I was also thinking that L4Linux was run as the non-secure Linux via >> TrustZone but that was incorrect. L4Linux is for a paravirtualized >> security split while something like TZ-Linux is used for a full >> virtualized security split, with L4 as the "Hypervisor". Has TZ- >> Linux and >> its associated work been publicly released? > > No. Its just a prove of concept. However there exists a snapshot that > should build and run out of the box on a recent Realview/PBX board. > With the upcoming virtualization extensions for ARM this approach is > more > or less obsolete. I'd be interested in taking a look at this snapshot if you are willing to share it. I'm doing some investigation work into how to put together an execution environment like your proof of concept. Thanks, -- Wesley Miaw wesley(a)wesman.net

1 0

Explanation of ARM TrustZone Support?
by Wesley Miaw 13 Jan '11

13 Jan '11

Hi, I was wondering if someone could point me at documentation, or describe in a reply, how L4 Fiasco + L4Re makes use of the ARM TrustZone hardware? I see that support for TrustZone is listed listed as one of the features of Fiasco, but haven't been able to figure out exactly what that means. If built for an ARM chip with TrustZone support, does L4 automatically set up a TrustZone execution environment for each L4 server? Or do I need to tell it somewhere to put each server into its own environment? Are the hardware calls automatically made when switching between servers? How does use of TrustZone influence message passing between servers? I'm afraid all I've found in the source appears to be some code in the hardware porting layer that is a relative mystery to me. Thanks, -- Wesley Miaw wesley(a)wesman.net

3 4

Need for a copy of the original Assembly Code of L4
by 王彬彬 11 Jan '11

11 Jan '11

Who have the original assembly code of L4 could you please send me a copy? thanks very much!

2 1

Re: ARM L4Linux Kernel Panic
by Wesley Miaw 06 Jan '11

06 Jan '11

Hi Adam, I don't know what caused the problem, but I have figured out how to work around it. I was compiling with the "Sourcery G++ Lite 2010.09-50" build. Your README indicates "Sourcery G++ Lite 2009q3-67" is known to work. I downgraded to that version and now L4linux starts up without any errors. Thanks, -- Wesley Miaw wesley(a)wesman.net

2 1

Re: ARM L4Linux Kernel Panic
by Wesley Miaw 05 Jan '11

05 Jan '11

Hi Adam, > On Mon Jan 03, 2011 at 16:04:01 -0800, Wesley Miaw wrote: >> I am attempting to run the L4linux ARM build from the Fiasco + L4Re + L4linux snapshot l4re-snapshot-2010111519.tar.bz2 but L4linux is kernel panicking during startup. Here's my build information and a snippet of the >> error output. I'd appreciate any help trying to figure out what's going wrong and resolving the problem. >> GCC_PATH_PREFIX=/opt/sourcery-g++-lite/bin/arm-none-linux-gnueabi- L4ARCH=arm >> make setup >> -> selected ARM realview >> make >> cd obj/l4linux/arm-up >> make arm_defconfig >> make menuconfig >> -> set L4 build path obj/l4/arm-rv >> -> set cross compile prefix arm-none-linux-gnueabi- >> -> turned on ARM EABI + old EABI binaries options >> make >> cd obj/l4/arm-rv >> make image E="L4linux ARM" >> qemu-arm-l4 images/bootstrap.elf >> Got through to Ned: loading file: 'rom/l4lx.cfg' without any apparent issues. L4linux started, but got a bunch of bad page errors: >> BUG: Bad page state in process swapper pfn:0431c >> page:00488380 count:4752264 mapcount:0 mapping:00488390 index:0x488390 page flags: 0x488380(slab|owner_priv_1|arch_1|tail|buddy|mlocked) These went through, and then it looked like the kernel was proceeding, but >> eventually: > I think the "bad page state" messages are the cause for the following oops. I tried to reproduce that by following your steps but I failed, i.e. it always works for me. Could you give me some more info, like all of the Linux output so that I see gcc version used etc. Qemu is which version? I'll try attaching the startup output as a text file, so as to avoid a gigantic email body. Here's the Linux and QEMU info: Ubuntu 10.04 LTS Linux lgux-wmiaw2 2.6.32-25-generic #45-Ubuntu SMP Sat Oct 16 19:48:22 UTC 2010 i686 GNU/Linux QEMU PC emulator version 0.12.3 (qemu-kvm-0.12.3), Copyright (c) 2003-2008 Fabrice Bellard I have the QEMU Ubuntu packages installed: qemu-kvm-extras 0.12.3+noroms-0ubuntu9.3 vgabios 0.6c-2ubuntu1 qemu-common 0.12.3+noroms-0ubuntu9.3 qemu-kvm 0.12.3+noroms-0ubuntu9.3 Here's the Sourcery G++ version info: $ arm-none-linux-gnueabi-gcc -v Using built-in specs. COLLECT_GCC=arm-none-linux-gnueabi-gcc COLLECT_LTO_WRAPPER=/opt/sourcery-g++-lite/bin/../libexec/gcc/arm-none-linux-gnueabi/4.5.1/lto-wrapper Target: arm-none-linux-gnueabi Configured with: /scratch/nathan/arm-lite/src/gcc-4.5-2010.09/configure --build=i686-pc-linux-gnu --host=i686-pc-linux-gnu --target=arm-none-linux-gnueabi --enable-threads --disable-libmudflap --disable-libssp --disable-libstdcxx-pch --enable-extra-sgxxlite-multilibs --with-arch=armv5te --with-gnu-as --with-gnu-ld --with-specs='%{save-temps: -fverbose-asm} %{funwind-tables|fno-unwind-tables|mabi=*|ffreestanding|nostdlib:;:-funwind-tables} -D__CS_SOURCERYGXX_MAJ__=2010 -D__CS_SOURCERYGXX_MIN__=9 -D__CS_SOURCERYGXX_REV__=50 %{O2:%{!fno-remove-local-statics: -fremove-local-statics}} %{O*:%{O|O0|O1|O2|Os:;:%{!fno-remove-local-statics: -fremove-local-statics}}}' --enable-languages=c,c++ --enable-shared --enable-lto --enable-symvers=gnu --enable-__cxa_atexit --with-pkgversion='Sourcery G++ Lite 2010.09-50' --with-bugurl=https://support.codesourcery.com/GNUToolchain/ --disable-nls --prefix=/opt/codesourcery --with-sysroot=/opt/codesourcery/arm-none-linux-gnueabi/libc --with-build-sysroot=/scratch/nathan/arm-lite/install/arm-none-linux-gnueabi/libc --with-gmp=/scratch/nathan/arm-lite/obj/host-libs-2010.09-50-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr --with-mpfr=/scratch/nathan/arm-lite/obj/host-libs-2010.09-50-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr --with-mpc=/scratch/nathan/arm-lite/obj/host-libs-2010.09-50-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr --with-ppl=/scratch/nathan/arm-lite/obj/host-libs-2010.09-50-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr --with-host-libstdcxx='-static-libgcc -Wl,-Bstatic,-lstdc++,-Bdynamic -lm' --with-cloog=/scratch/nathan/arm-lite/obj/host-libs-2010.09-50-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr --with-libelf=/scratch/nathan/arm-lite/obj/host-libs-2010.09-50-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr --disable-libgomp --enable-poison-system-directories --with-build-time-tools=/scratch/nathan/arm-lite/install/arm-none-linux-gnueabi/bin --with-build-time-tools=/scratch/nathan/arm-lite/install/arm-none-linux-gnueabi/bin Thread model: posix gcc version 4.5.1 (Sourcery G++ Lite 2010.09-50) And my local /usr/bin/gcc: $ gcc -v Using built-in specs. Target: i486-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Ubuntu 4.4.3-4ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.4/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --enable-multiarch --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.4 --program-suffix=-4.4 --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug --enable-plugin --enable-objc-gc --enable-targets=all --disable-werror --with-arch-32=i486 --with-tune=generic --enable-checking=release --build=i486-linux-gnu --host=i486-linux-gnu --target=i486-linux-gnu Thread model: posix gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5) -- Wesley Miaw wesley(a)wesman.net

1 0

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