l4-hackers July 2007

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

17 participants
25 discussions

segment problem
by junioraozhi＠sina.com 03 Jul '07

03 Jul '07

Hi  all I have get the source code of fiasco,l4env,l4linux-2.6.21 via SVN ,and  compiled them succesfully. but when boot the l4linux , it says "the running kernel does not have the segments", "kernel feature missing "and went to jdb console. All my work is under the l4 document Why? thanks ------------------------------------------------------------------- 7月11日《变形金刚》首映电影票开抢了！( http://d1.sina.com.cn/sina/limeng3/mail_zhuiyu/2007/mail_zhuiyu_20070702.ht… ) =================================================================== 注册新浪2G免费邮箱（ http://mail.sina.com.cn/chooseMode.html ）

2 1

Re: l4 on mips
by Antoine.Amirault＠esial.uhp-nancy.fr 02 Jul '07

02 Jul '07

HI. Thanks for your answer. I answer you from another addresse because I'm currently in china and sometimes, gmail is not working well here. I hope you won't receive my 10 previous try ;). If i do that, the error is gone but unfortunately I experience another problem. Is it strange because it seems like syntax errors. It looks like that : make[1]: Entering directory `/home/antoine/Desktop/pistachio-build' ===> src/glue/v4-mips64/asmsyms.cc cd src/glue/v4-mips64/ && /home/antoine/Desktop/NICTA/bin/mips64-elf-gcc -nostdinc -I/home/antoine/Desktop/pistachio-build/include -I/home/antoine/Desktop/pistachio/kernel/include -I/home/antoine/Desktop/NICTA/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio-build/config/config.h -imacros /home/antoine/Desktop/pistachio/kernel/include/macros.h -include /home/antoine/Desktop/pistachio/kernel/include/config.h -include /home/antoine/Desktop/pistachio/kernel/include/types.h -fno-rtti -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-non-virtual-dtor -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -march=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc In file included from /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/space.h:42, from /home/antoine/Desktop/pistachio/kernel/include/api/v4/space.h:36, from /home/antoine/Desktop/pistachio/kernel/include/api/v4/tcb.h:41, from /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:34: /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:277: error: expected unqualified-id before '{' token /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h: In member function `void pgent_t::set_entry(space_t*, pgent_t::pgsize_e, void*, word_t, word_t, bool)': /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: `readable' undeclared (first use this function) /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: (Each undeclared identifier is reported only once for each function it appears in.) /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: `writable' undeclared (first use this function) In file included from /home/antoine/Desktop/pistachio/kernel/include/api/v4/tcb.h:674, from /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:34: /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h: In member function `void tcb_t::notify(void (*)())': /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h:393: error: ISO C++ forbids cast to non-reference type used as lvalue /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h: In member function `void tcb_t::notify(void (*)(word_t), word_t)': /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h:410: error: ISO C++ forbids cast to non-reference type used as lvalue /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h: In member function `void tcb_t::notify(void (*)(word_t, word_t), word_t, word_t)': /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h:430: error: ISO C++ forbids cast to non-reference type used as lvalue /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc: At global scope: /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:41: warning: invalid access to non-static data member `utcb_t::mr' of NULL object /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:41: warning: (perhaps the `offsetof' macro was used incorrectly) /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:41: warning: invalid access to non-static data member `utcb_t::mr' of NULL object This two warnings are repeated a lot of times, and after ===> src/generic/kmemory.cc cd src/generic/ && /home/antoine/Desktop/NICTA/bin/mips64-elf-gcc -nostdinc -I/home/antoine/Desktop/pistachio-build/include -I/home/antoine/Desktop/pistachio/kernel/include -I/home/antoine/Desktop/NICTA/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio-build/config/config.h -imacros /home/antoine/Desktop/pistachio/kernel/include/macros.h -include /home/antoine/Desktop/pistachio/kernel/include/config.h -include /home/antoine/Desktop/pistachio/kernel/include/types.h -fno-rtti -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-non-virtual-dtor -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -march=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio/kernel/src/generic/kmemory.cc In file included from /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/cache.h:38, from /home/antoine/Desktop/pistachio/kernel/include/platform/vr41xx/cache.h:36, from /home/antoine/Desktop/pistachio/kernel/src/generic/kmemory.cc:38: /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:277: error: expected unqualified-id before '{' token /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h: In member function `void pgent_t::set_entry(space_t*, pgent_t::pgsize_e, void*, word_t, word_t, bool)': /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: `readable' undeclared (first use this function) /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: (Each undeclared identifier is reported only once for each function it appears in.) /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: `writable' undeclared (first use this function) make[1]: *** [src/generic/kmemory.o] Error 1 make[1]: Leaving directory `/home/antoine/Desktop/pistachio-build' make: *** [all] Error 2 I hope you could help me. I use the CVS Version and a cross compiler taken from the NICTA SIte 2007/7/2, Daniel Potts < danielp(a)ok-labs.com>: Hi Antoine, Sorry for the late reply, I hope you've made progress on this. We believe this is a problem with compiler flags changing in our compiler tools release, compared to those expected by the build system in Pistachio 0.4. Try editing kernel/Mk/Makeconf.mips and change mcpu=r4100 to march=4100, or something similar. Good luck, Daniel On 21/06/2007, at 4:36 PM, Antoine Amirault wrote: > Hi, > I'm student at ESIAL (a French engineering school) currently > doing an internship in Beijing. I have to simulate l4 on a mips > platform with qemu. > > I have downloaded pistachio and mips64-elf-3.4.4 from > http://ertos.nicta.com.au/software/prebuilt/binaries.pml > > When i compile the kernel i obtain the following messages : > > antoine@liama-desktop:~/Desktop/pistachio-0.4-aos/build$ make > make[1]: Entering directory `/home/antoine/Desktop/pistachio- > 0.4-aos/build' > ===> src/glue/v4-mips64/asmsyms.cc > cd src/glue/v4-mips64/ && > /opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc > -nostdinc -I/home/antoine/Desktop/pistachio-0.4-aos/build/include > -I/home/antoine/Desktop/pistachio- 0.4-aos/kernel/include > -I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio- 0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio-0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio-0.4-aos/kernel/include/config.h -include /home/antoine/Desktop/pistachio-0.4-aos /kernel/include/types.h -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -mcpu=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio- > 0.4-aos/kernel/src/glue/v4-mips64/asmsyms.cc > cc1plus: error: invalid option `cpu=r4100' > ===> src/api/v4/exregs.cc > cd src/api/v4/ && > /opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc > -nostdinc -I/home/antoine/Desktop/pistachio- 0.4-aos/build/include > -I/home/antoine/Desktop/pistachio-0.4-aos/kernel/include > -I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio- 0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio-0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio-0.4-aos/kernel/include/config.h -include /home/antoine/Desktop/pistachio-0.4-aos /kernel/include/types.h -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -mcpu=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio- > 0.4-aos/kernel/src/api/v4/exregs.cc > cc1plus: error: invalid option `cpu=r4100' > make[1]: *** [src/api/v4/exregs.o] Error 1 > make[1]: Leaving directory > `/home/antoine/Desktop/pistachio-0.4-aos/build' > make: *** [all] Error 2 > > Do you know how to solve this ? > Maybe i should use another compiler. > Thanks for your help > Antoine > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

1 0

l4 on mips
by Antoine Amirault 02 Jul '07

02 Jul '07

Hi, I'm student at ESIAL (a French engineering school) currently doing an internship in Beijing. I have to simulate l4 on a mips platform with qemu. I have downloaded pistachio and mips64-elf-3.4.4 from http://ertos.nicta.com.au/software/prebuilt/binaries.pml When i compile the kernel i obtain the following messages : antoine@liama-desktop:~/Desktop/pistachio-0.4-aos/build$ make make[1]: Entering directory `/home/antoine/Desktop/pistachio-0.4-aos/build' ===> src/glue/v4-mips64/asmsyms.cc cd src/glue/v4-mips64/ && /opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc -nostdinc -I/home/antoine/Desktop/pistachio-0.4-aos/build/include -I/home/antoine/Desktop/pistachio-0.4-aos/kernel/include -I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio- 0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/config.h -include /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/types.h -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -mcpu=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio-0.4-aos /kernel/src/glue/v4-mips64/asmsyms.cc cc1plus: error: invalid option `cpu=r4100' ===> src/api/v4/exregs.cc cd src/api/v4/ && /opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc -nostdinc -I/home/antoine/Desktop/pistachio-0.4-aos/build/include -I/home/antoine/Desktop/pistachio-0.4-aos/kernel/include -I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio- 0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/config.h -include /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/types.h -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -mcpu=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio-0.4-aos /kernel/src/api/v4/exregs.cc cc1plus: error: invalid option `cpu=r4100' make[1]: *** [src/api/v4/exregs.o] Error 1 make[1]: Leaving directory `/home/antoine/Desktop/pistachio-0.4-aos/build' make: *** [all] Error 2 Do you know how to solve this ? Maybe i should use another compiler. Thanks for your help Antoine

2 1

Fiasco@ARM - supported hardware
by Daniel Vandersee 01 Jul '07

01 Jul '07

Hello, how do you test L4 on an ARM platform? Do you have specific hardware for that purpose? You mentioned that you use ARM Integrator boards. As there are several integrator boards available: which one exactly do you use? Do you use other boards as well? I'm asking because I plan to buy an ARM board which is supported out of the box without the need to modify drivers. Do you additionally use software simulators to test L4? If so, which one do you use? I tried Skyeye to simulate an ARM integrator board as well as a SA1100-board but didn't get any output over the serial line. Qemu doesn't work either and terminates with the following error: "qemu: uncaught target signal 11 (Segmentation fault) - exiting". Kind regards, Daniel

2 5

Installing Generated Header Files
by Neal H. Walfield 01 Jul '07

01 Jul '07

Hi, I'm using BID and generating header files at compile time. I looked at the include role, however, as far as I can tell, it only installs files from the source tree, not from the object tree. The attached patch improves the include role-file to allow this mode of operation. The patch consists of two changes. First, before listing the directory, we change to $(INCSRC_DIR). (This also requires evaluating TARGET_CMD lazily, i.e., using a recursive variable, not a simple one, as INCSRC_DIR may be set later.) Second, an additional target has been added, headers, which can depend on generated header files. I also updated the documentation. The current patch doesn't allow installing header files from both the source directory and the object directory. This might be useful, however, it appears to require modifying the perl code, which I have done my best to forget. Thanks, Neal Index: mk/include.mk =================================================================== --- mk/include.mk (revision 74) +++ mk/include.mk (working copy) @@ -27,9 +27,9 @@ ifeq ($(origin TARGET),undefined) # use POSIX -print here -TARGET_CMD := find . -name '*.[ih]' -print +TARGET_CMD = (cd $(INCSRC_DIR); find . -name '*.[ih]' -print) else -TARGET_CMD := echo $(TARGET) +TARGET_CMD = echo $(TARGET) endif INSTALL_INC_PREFIX ?= l4/$(PKGNAME) INCSRC_DIR ?= $(SRC_DIR) @@ -64,7 +64,9 @@ } \ }' -all:: +headers:: + +all:: headers @$(TARGET_CMD) | $(call installscript,1) install:: Index: doc/bid-spec/spec.tex =================================================================== --- doc/bid-spec/spec.tex (revision 73) +++ doc/bid-spec/spec.tex (working copy) @@ -2274,22 +2274,32 @@ \subsubsection{Purpose} -The purpose of the include role is to install the local include-files -into the local install-tree or into the drops install-tree. The -role-file achieves two goals when managing include-files: +The purpose of the include role is to install all .h and .i under +INCSRC_DIR into the local install-tree or into the drops +install-tree. This role facilitates two goals with respect to managing +include-files: + \begin{enumerate} -\item The path where the include-files are to be found in is entirely +\item The path where the include-files are found is entirely defined by the package name and the target system of the include-files. -\item Once written, the makefile needs not to be modified, even if new - include files are added or old include files are removed from the package. +\item Once written, the make file need not be modified, even when new + include files are added or old include files are removed from the + package. \end{enumerate} The target system of an include file is determined by putting it into -a specific subdirectory. The role-file will install it accordingly -then. The following table defines the subdirectories depending on the -target systems. +a specific subdirectory. The role-file will then install it +accordingly. By default, INCSRC_DIR points is set to the source +directory. To install generated header files, set INCSRC_DIR to +§OBJ_DIR. There is currently no mechanism to exclude header files. +When generating header files, add them to the headers target (which +all depends on). + +The following table defines the subdirectories depending on the target +systems. + \begin{center} \begin{tabular}{|l|l|} \hline

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 July 2007