l4-hackers November 2010

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

12 participants
20 discussions

Some questions about pager
by BERTRAND Joel 29 Nov '10

29 Nov '10

Hello, It's my first post on this mailing list. A long time ago, I have started to write a VMS-clone (http://www.freevms.net). This opensourced project was sleeping for a long time because monolithic kernel isn't good enough to write a clone of this system. Thus, I have restarted this project with a L4 microkernel (exactly pistachio L4/X2). Now, I have written a roottask that tries to launch VMS$INIT, first thread required to boot all system. I have reuse some works done for iguana … [View More]

2 8

errors getting python up-and-running
by lkcl 28 Nov '10

28 Nov '10

ok, sorry about the number of messages, i'm going rapidly through things, trying to get python and other stuff started. i've had to create a one-by-one "add the library, get the error, go on to next error" modules.list file, and when i get to libm_support.so i get "rom/libm_support.so is not an ELF file" so i did nm on it as you can see below. not sure what it means though. anyway here's the list of modules so far, there _must_ be a better way to do this - any clues? modaddr 0x002000000 … [View More] kernel fiasco -serial_esc roottask moe rom/hello.lua module l4re module ned module hello.lua module hello module x86-fb.cfg module x86-fb.io module x86-legacy.devs module l4re module io module fbterminal module fb-drv module mag module python module libld-l4.so module libc_be_file_stdin.so module libc_be_sig.so module libevent.so module libsupc++.so module libm_support.so module lib4re-util.so module libdl.so lkcl@teenymac:~/src/l4ka/build-x86_64$ ls -altr lib/amd64_K8/l4f/libm_support.solrwxrwxrwx 1 lkcl lkcl 92 2010-11-26 05:09 lib/amd64_K8/l4f/libm_support.so -> /home/lkcl/src/l4ka/build-x86_64/pkg/libc_backends/lib/math/OBJ-amd64_K8-l4f/libm_support.so lkcl@teenymac:~/src/l4ka/build-x86_64$ ls -altr home/lkcl/src/l4ka/build-x86_64/pkg/libc_backends/lib/math/OBJ-amd64_K8-l4f/libm_support.so ls: cannot access home/lkcl/src/l4ka/build-x86_64/pkg/libc_backends/lib/math/OBJ-amd64_K8-l4f/libm_support.so: No such file or directory lkcl@teenymac:~/src/l4ka/build-x86_64$ ls -altr /home/lkcl/src/l4ka/build-x86_64/pkg/libc_backends/lib/math/OBJ-amd64_K8-l4f/libm_support.so -rwxr-xr-x 1 lkcl lkcl 11163 2010-11-26 05:09 /home/lkcl/src/l4ka/build-x86_64/pkg/libc_backends/lib/math/OBJ-amd64_K8-l4f/libm_support.so lkcl@teenymac:~/src/l4ka/build-x86_64$ nm !$ nm /home/lkcl/src/l4ka/build-x86_64/pkg/libc_backends/lib/math/OBJ-amd64_K8-l4f/libm_support.so 00000000002009a0 a _DYNAMIC 0000000000200b00 a _GLOBAL_OFFSET_TABLE_ w _Jv_RegisterClasses 0000000000200980 d __CTOR_END__ 0000000000200978 d __CTOR_LIST__ 0000000000200990 d __DTOR_END__ 0000000000200988 d __DTOR_LIST__ 0000000000000970 r __FRAME_END__ 0000000000200998 d __JCR_END__ 0000000000200998 d __JCR_LIST__ 000000006ffff000 A __L4_KIP_ADDR__ 0000000070000000 A __L4_STACK_ADDR__ 0000000000200b68 A __bss_start w __cxa_finalize 0000000000000830 t __do_global_ctors_aux 0000000000000690 t __do_global_dtors_aux 0000000000200b60 d __dso_handle 0000000000200b68 A _edata 0000000000200b78 A _end 0000000000000868 T _fini 00000000000005d0 T _init 0000000000000820 T _sin 0000000000000810 T _sinf 0000000000200b68 b completed.6341 U cos U cosf 0000000000200b70 b dtor_idx.6343 U exp2 00000000000007f0 T exp2f 0000000000000710 t frame_dummy 00000000000007e0 T log2f U sin 0000000000000790 T sincos 0000000000000740 T sincosf U sinf lkcl@teenymac:~/src/l4ka/build-x86_64$ ldd !$ ldd /home/lkcl/src/l4ka/build-x86_64/pkg/libc_backends/lib/math/OBJ-amd64_K8-l4f/libm_support.so linux-vdso.so.1 => (0x00007fff445d4000) libuc_c.so => not found lkcl@teenymac:~/src/l4ka/build-x86_64$ -- View this message in context: http://old.nabble.com/errors-getting-python-up-and-running-tp30308895p30308… Sent from the L4 mailing list archive at Nabble.com. [View Less]

4 9

python libc_be_file_stdin missing
by lkcl 26 Nov '10

26 Nov '10

am making progress with the goals i've set: did "svn update libc_be_file_stdin" which returned silently... but then make O=.... python fails with missing libc_be_file_stdin.pc (?) any ideas? -- View this message in context: http://old.nabble.com/python-libc_be_file_stdin-missing-tp30308867p30308867… Sent from the L4 mailing list archive at Nabble.com.

2 2

compile error svn rev 27 on x86
by lkcl 26 Nov '10

26 Nov '10

hi folks, this is with defaults (x86) - just did make B= and make O= what's going on!!! === Building package "l4sys" === make[2]: Entering directory `/home/lkcl/src/l4ka/src/l4/pkg/l4sys' make[3]: Entering directory `/home/lkcl/src/l4ka/src/l4/pkg/l4sys/include' make[3]: Leaving directory `/home/lkcl/src/l4ka/src/l4/pkg/l4sys/include' make[3]: Entering directory `/home/lkcl/src/l4ka/src/l4/pkg/l4sys/lib' make[4]: Entering directory `/home/lkcl/src/l4ka/src/l4/pkg/l4sys/lib/src' make[5]: … [View More]

2 6

errors on running x86-fb example
by lkcl 26 Nov '10

26 Nov '10

after quite a bit of mucking about, i managed to get a version of examples conf x86-fb.list that semi-worked, showing here some errors under qemu. any idea what's going on? tia. l. fbdrv | Exception: Invalid argument: not an ELF binary: backtrace ... fbdrv | L4Re: FATAL: could not load binary IO | Io service mag | Exception: Invalid argument: not an ELF binary: backtrace ... mag | L4Re: FATAL: could not load binary IO | Hello from L4-ACPICA IO | Find root Pointer … [View More]

1 1

compile error svn rev 27 on amd64
by lkcl 25 Nov '10

25 Nov '10

folks hi thought i'd give l4re a shot, see how far it is along, and if i can get it compiled on ARM. that failed miserably, with libstdc++v3 errors (using arm-linux-gnueabi-g++ 4.3.2) in Rope and in __is_empty so i thought i'd try amd64, and _that_'s failing too! make[5]: Leaving directory `/home/lkcl/src/l4ka/build-x86/pkg/l4re/util/libs/OBJ-amd64_K8-l4f' make[7]: Leaving directory `/home/lkcl/src/l4ka/build-x86/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_K8' make[6]: Leaving … [View More]

1 0

how to compile l4re with a x86_64 linux?
by Chengqi Song 24 Nov '10

24 Nov '10

hi, I want to try l4re on my own laptop, here is the info from uname -a: Linux lars-x200s 2.6.35-ARCH #1 SMP PREEMPT Sat Oct 30 21:22:26 CEST 2010 x86_64 Intel(R) Core(TM)2 Duo CPU L9300 @ 1.60GHz GenuineIntel GNU/Linux I first checked out src: svn cat http://svn.tudos.org/repos/oc/tudos/trunk/repomgr | perl - init http://svn.tudos.org/repos/oc/tudos fiasco l4re then follow this page to build: http://os.inf.tu-dresden.de/L4Re/build.html with default config, this error is … [View More]

2 5

Building L4linux
by Maxime Lastera 15 Nov '10

15 Nov '10

Thank you for your help. The modules.list wasn't set correctly. So now l4linux is running. Which modules I need to add to modules.list file to use xterm on l4linux? -- ------------------------------------------------ Maxime LASTERA Phd Student Dependable Computing and Fault Tolerance group LAAS-CNRS 7 av Colonel Roche 31077 Toulouse E-mail: mlastera(a)laas.fr Phone : +33561336979 ------------------------------------------------

2 2

Building L4linux
by Maxime Lastera 09 Nov '10

09 Nov '10

hi, I try without success to create .elf file with the command 'make image E=l4linux' I have the following message : Building entry "l4linux" Unknown entry "l4linux"! at /home/Maxx/Downloads/l4re-snapshot/src/l4/tool/lib/L4/ModList.pm line 168 the modules.list file contains entry l4linux x86 modaddr 0x002000000 kernel fiasco -serial_esc roottask moe rom/l4lx.cfg module l4re module ned module l4lx.cfg module vmlinuz I think the moduless.list file isn't in the good … [View More]

2 1

running l4linux on PB11mpcore
by Rahul Ramasubramanian 08 Nov '10

08 Nov '10

Hi , I am running into a few issues while trying to run the l4linux image on the realview board. when i execute the command on the boot monitor prompt M> run l4linux.elf i get some garbled output on the screen and then system goes unresponsive ( a blinking cursor) . I had assumed that i will get some kind of a shell prompt after booting.Is this assumption correct? I have the minicom configured correctly ( used the values suggested on the realview user guide) ,so i think the error is not on … [View More]

2 2

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 November 2010