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 project (and fixed some bugs). When VMS$INIT is started, this thread sends two IPC to its pager : vms$pagefault(addr:1001730, s:8000) [priv=4] -> default addresse is $1001730 (start address of VMS$INIT thread) ... vms$pagefault(addr:47fe8, s:2000) [priv=4] I'm not sure that I have understand how should work a pager. I have uploaded my pager here : http://www.freevms.net/trac/browser/sources/freevms/vm/vm_pagefault.c All sources are available with : git clone git://rayleigh.systella.fr/FreeVMS.git and I have uploaded a disk image that runs with qemu (with a x86/64) : http://www.systella.fr/~bertrand/freevms.img.bz2 My pager tries to find a physical free page to map virtual memory. I think that memory is correctly mapped and I don't understand why pager receives other request with same virtual address. I suppose I have done a mistake. Any idea ? Thanks in advance for all explanations, JB

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 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.

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]: Entering directory `/home/lkcl/src/l4ka/build-x86/pkg/l4sys/lib/src/OBJ-x86_586-l4f' ... Compiling utcb.o ... Compiling errtostr.o ==> Archiving into libl4sys.a ==> "libl4sys.a" built make[5]: *** No rule to make target `/usr/lib/gcc/x86_64-linux-gnu/4.4.3/../../../../lib32//crtendS.o', needed by `libl4sys.so'. Stop. make[5]: Leaving directory `/home/lkcl/src/l4ka/build-x86/pkg/l4sys/lib/src/OBJ-x86_586-l4f' make[4]: *** [/home/lkcl/src/l4ka/build-x86/pkg/l4sys/lib/src/OBJ-x86_586-l4f] Error 2 -- View this message in context: http://old.nabble.com/compile-error-svn-rev-27-on-x86-tp30307856p30307856.h… Sent from the L4 mailing list archive at Nabble.com.

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 IO | AcpiOsMapMemory(40e, 2) = 40040e IO | AcpiOsMapMemory(9f400, 400) = 49f400 Ned[lua]: Hm, cpapbility 42d000 does not support the meta protocol: -2004 IO | AcpiOsMapMemory(e0000, 20000) = 4e0000 IO | Find root Pointer: f8950 IO | AcpiOsMapMemory(f8950, 24) = 4f8950 IO | ACPI: RSDP 0xf8950 00014 (v00 BOCHS ) IO | AcpiOsMapMemory(7ffde30, 24) = bfde30 IO | ACPI: RSDT 0x7ffde30 00034 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001) IO | AcpiOsMapMemory(7ffde30, 34) = bfde30 IO | AcpiOsMapMemory(7fffe70, 24) = bffe70 IO | ACPI: FACP 0x7fffe70 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001) IO | AcpiOsMapMemory(7fffe70, 74) = bffe70 IO | AcpiOsMapMemory(7ffdfd0, 24) = bfdfd0 IO | ACPI: DSDT 0x7ffdfd0 01E22 (v01 BXPC BXDSDT 00000001 INTL 20090521) IO | AcpiOsMapMemory(7fffe00, 24) = bffe00 IO | ACPI: FACS 0x7fffe00 00040 IO | AcpiOsMapMemory(7ffdf90, 24) = bfdf90 IO | ACPI: SSDT 0x7ffdf90 00037 (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001) IO | AcpiOsMapMemory(7ffdeb0, 24) = bfdeb0 IO | ACPI: APIC 0x7ffdeb0 00072 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001) IO | AcpiOsMapMemory(7ffde70, 24) = bfde70 IO | ACPI: HPET 0x7ffde70 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001) IO | AcpiOsMapMemory(7ffdfd0, 1e22) = bfdfd0 Ned: ERROR: rom/hello.lua:56: attempt to call method 'create' (a nil value) IO | Parsing all Control Methods: -- View this message in context: http://old.nabble.com/errors-on-running-x86-fb-example-tp30308892p30308892.… Sent from the L4 mailing list archive at Nabble.com.

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 directory `/home/lkcl/src/l4ka/src/l4/pkg/bootstrap/server/src/ARCH-amd64/libc32' ==> Linking bootstrap32.elf ... Building Makefile.inc /usr/bin/ld: skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/4.4.3/libgcc.a when searching for -lgcc /usr/bin/ld: skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/4.4.3/libgcc.a when searching for -lgcc /usr/bin/ld: cannot find -lgcc collect2: ld returned 1 exit status make[5]: *** [bootstrap32.elf] Error 1 i put this into the Makefile but it's having none of it: LDFLAGS := -nostdinc -m32 yes obviously -lgcc is installed, ld is clearly trying to link with libgcc.a instead of ..../32/libgcc.a - what's the story, here? tia, l. p.s. i really do want to get ARM compiled but whereas gcc 4.4.2 and g++ 4.4.2 seem to not barf on libstdc++-v3, arm-linux-gnueabi-g++-4.3.2 does. what's the story there, as well? -- View this message in context: http://old.nabble.com/compile-error-svn-rev-27-on-amd64-tp30307833p30307833… Sent from the L4 mailing list archive at Nabble.com.

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 reported before exit: ld: i386:x86-64 architecture of input file `/usr/lib/gcc/x86_64-unknown-linux-gnu/4.5.1//crtbeginS.o' is incompatible with i386 output ld: i386:x86-64 architecture of input file `/usr/lib/gcc/x86_64-unknown-linux-gnu/4.5.1//crtendS.o' is incompatible with i386 output make[5]: *** [libl4sys.so] Error 1 does it mean i need a 32bit system to build L4? thanks lars

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 directory but I try l4re directory and l4linux without success neither. Any ideas ? -- ------------------------------------------------ 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 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 that side. Has anyone run into this issue before. I will appreciate any pointers on resolving this issue. Thanks Rahul On Sun, Nov 7, 2010 at 3:39 PM, Adam Lackorzynski <adam(a)os.inf.tu-dresden.de > wrote: > > On Sun Nov 07, 2010 at 15:08:25 -0500, Rahul Ramasubramanian wrote: > > Now after the build , i have a bootstrap_L4Linux_ARM.elf file.Can i run > this > > on the realview board using the boot monitor command run or is there > > anything else which needs to be done ? > > Yes, you can run the image using the boot monitor. > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >

2 2

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