l4-hackers January 2005

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

9 participants
8 discussions

failure installing CVS pistachio user
by Nick Brown 01 Feb '05

01 Feb '05

make install fails, for the user side of pistachio that I've just checked out of CVS, with a missing header file. Below is what I did and the error message. Thanks, Nick cd ~/Software mkdir source mkdir -p build/pistachio/ mkdir install cd source cvs -d:pserver:guest@cvs.l4ka.org:/public-cvs login cvs -z3 -d:pserver:guest@cvs.l4ka.org:/public-cvs co pistachio cd ../build/pistachio ../../source/pistachio/user/configure --with-s0-linkbase=0x40000 --prefix=/home/nicbrown/Software/install make make install <--- snipped ---> make[2]: Entering directory `/home/nicbrown/Software/build/pistachio/util/kickstart' ===> Installing util/kickstart/kickstart ../../../../source/pistachio/user/../tools/mkdirhier /home/nicbrown/Software/install/libexec/l4 /usr/bin/install -c kickstart /home/nicbrown/Software/install/libexec/l4/kickstart make[2]: Leaving directory `/home/nicbrown/Software/build/pistachio/util/kickstart' make[1]: Leaving directory `/home/nicbrown/Software/build/pistachio/util' make[1]: Entering directory `/home/nicbrown/Software/build/pistachio/contrib' make[1]: Leaving directory `/home/nicbrown/Software/build/pistachio/contrib' ===> Installing include files /usr/bin/install: cannot stat `l4/ia32/tracebuffer.h': No such file or directory [nicbrown@localhost pistachio]$

2 1

Machine-independant handling of registers set with ptrace is tough.
by Etienne Robillard 31 Jan '05

31 Jan '05

Dear list, I'm actively into the process of hatching at the Fiasco-UX source-code, and have found the ptrace(2) interface to be quite entertaining. Firstly, the naming convention (ptrace macros) differs from Linux to FreeBSD. However, its relatively trivial to fix (thx to Alexander Julliard), by adding something like: #ifndef PTRACE_PEEKTEXT #define PTRACE_PEEKTEXT PT_READ_D #endif Secondly, a lot of things is done in `Usermode.cpp' in order to manipulate user-visible register set. In particular, I have to trust the effectiveness and the reliability of the following constructor: // save it to <machine/reg.h> struct user_regs_struct regs; regs.xfs = context->uc_mcontext.gregs[REG_FS] In comparison, the FreeBSD kernel implements the ptrace(2) proc_[read/write]_register(proc,regs) for doing this kind of stuff, but its not even close to be a member of uc_mcontext. All in all, it would be nice to know how (and why) this is done on different arch, and finally if the uc_mcontext.gregs constructor is the sole alternative to registers translation. Cheers, Etienne ______________________________________________________________________ Post your free ad now! http://personals.yahoo.ca

1 0

Fiasco-UX build problem
by Stefan K. 31 Jan '05

31 Jan '05

Hi, I have a problem building Fiasco-UX. After checking out the latest sources, i had to do two workarounds to build all packages and the oskit. First i got the following error: ... make[3]: Entering directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/oskit/examples' ld -Ttext 100000 -L../lib \ -o multiboot ../lib/multiboot.o multiboot.o \ -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/libgcc.a ld -Ttext 100000 -L../lib \ -o multiboot-gdb ../lib/multiboot.o multiboot-gdb.o \ -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/libgcc.a ld -Ttext 100000 -L../lib \ -o multiboot-smp ../lib/multiboot.o multiboot-smp.o \ -lsmp -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/libgcc.a ../lib/libsmp.a(boot.o)(.text+0x29): In function `_SMP_TRAMP_START_': : relocation truncated to fit: R_386_16 _SMP_TRAMP_32_ENTRY_ make[3]: *** [multiboot-smp] Error 1 make[3]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/oskit/examples' make[2]: *** [examples/all.MAKE] Error 2 make[2]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/oskit' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/oskit' make: *** [../oskit] Error 2 the Makeconf.bid can you find here: http://www.inf.tu-dresden.de/~sk852421/fiasco/Makeconf.bid and the full make output is here: http://www.inf.tu-dresden.de/~sk852421/fiasco/make.out So i deleted subdirectory examples and modified GNUmakefile. After that i got an error in the bootmod package: ... echo 'include $(L4DIR)/mk/lib.mk'>>OBJ-x86_K7-l4v2/Makefile PWD=/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg/bootmod/lib/src/OBJ-x86_K7-l4v2 make -C OBJ-x86_K7-l4v2 -f Makefile make[5]: Entering directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg/bootmod/lib/src/OBJ-x86_K7-l4v2' ... Building .general.d ... Building Makefile.inc make[5]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg/bootmod/lib/src/OBJ-x86_K7-l4v2' make[5]: Entering directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg/bootmod/lib/src/OBJ-x86_K7-l4v2' ... Compiling bootmod.o LD_PRELOAD=/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/tool/gendep/libgendep.so GENDEP_TARGET=bootmod.o GENDEP_BINARY=cc1gcc -c -DRAM_BASE=0x0 -DSYSTEM_x86_K7_l4v2 -DARCH_x86 -DCPUTYPE_K7 -DL4API_l4v2 -I../../../idl/OBJ-x86-l4v2 -I../../../../../include/x86/l4v2 -I/home/sk852421/Documents/uni/OS/Fiasco-UX/build/include/x86/l4v2 -I../../../../../include/l4v2 -I/home/sk852421/Documents/uni/OS/Fiasco-UX/build/include/l4v2 -I../../../../../include/x86 -I/home/sk852421/Documents/uni/OS/Fiasco-UX/build/include/x86 -I../../../../../include -I/home/sk852421/Documents/uni/OS/Fiasco-UX/build/include -nostdinc -DOSKIT -I../../../../../../oskit10 -I../../../../../../oskit10/oskit/c -I/home/sk852421/Documents/uni/OS/Fiasco-UX/build/include/oskit10 -I/home/sk852421/Documents/uni/OS/Fiasco-UX/build/include/oskit10/oskit/c -I/usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/include -gstabs+ -g -O2 -fno-strict-aliasing -march=K7 -Wall -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg/bootmod/lib/src/bootmod.c -o bootmod.o cc1: error: bad value (K7) for -march= switch cc1: error: bad value (K7) for -mcpu= switch make[5]: *** [bootmod.o] Error 1 make[5]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg/bootmod/lib/src/OBJ-x86_K7-l4v2' make[4]: *** [OBJ-x86_K7-l4v2] Error 2 make[4]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg/bootmod/lib/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg/bootmod/lib' make[2]: *** [lib] Error 2 make[2]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg/bootmod' make[1]: *** [bootmod.lib] Error 2 make[1]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/pkg' make: *** [pkg] Error 2 here is the full output: http://www.inf.tu-dresden.de/~sk852421/fiasco/make.out2 After that I choosed i586 instead of K7 (i'm using athlon xp) and i could build the whole environment, but now i wanna compile Fiasco-UX and it fails every time: ... g++ -c -MD -D_GNU_SOURCE -include /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/ux/format.h -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/types/ux -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/types -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/drivers/ux -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/drivers -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/ux -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/shared -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/libk/ux -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/libk -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/amm -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/lmm -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/disasm -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/perfctr -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/regex -I. -Iauto -fno-implement-inlines -finline-limit=10000 -mpreferred-stack-boundary=2 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -Wformat=2 -ffunction-sections -W -frename-registers -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -O2 auto/thread-ipc2-v4.cc -o thread-ipc2-v4.o ... Making kernel_thread.o g++ -c -MD -D_GNU_SOURCE -include /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/ux/format.h -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/types/ux -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/types -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/drivers/ux -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/drivers -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/ux -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/shared -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/libk/ux -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/libk -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/amm -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/lmm -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/disasm -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/perfctr -I/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/lib/regex -I. -Iauto -fno-implement-inlines -finline-limit=10000 -mpreferred-stack-boundary=2 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -Wformat=2 -ffunction-sections -W -frename-registers -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -O2 auto/kernel_thread.cc -o kernel_thread.o /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:104: error: parse error before `)' token /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:113: error: ISO C++ forbids declaration of `init_switch_time' with no type /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:113: error: prototype for `int Context::init_switch_time()' does not match any in class `Context' auto/context.h:987: error: candidate is: void Context::init_switch_time() /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:113: error: ` int Context::init_switch_time()' and `void Context::init_switch_time()' cannot be overloaded /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:113: error: prototype for `int Context::init_switch_time()' does not match any in class `Context' auto/context.h:987: error: candidate is: void Context::init_switch_time() /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:113: error: ` int Context::init_switch_time()' and `void Context::init_switch_time()' cannot be overloaded /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:113: error: declaration of `int Context::init_switch_time()' outside of class is not definition /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:117: error: ISO C++ forbids declaration of `init_workload' with no type /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:119: error: parse error before `while' /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:122: error: ISO C++ forbids declaration of `puts' with no type /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:122: error: ` int puts' redeclared as different kind of symbol /usr/include/stdio.h:589: error: previous declaration of `int puts(const char*) ' /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:122: error: invalid conversion from `const char*' to `int' /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:127: error: ISO C++ forbids declaration of `ready_dequeue' with no type /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:128: error: ISO C++ forbids declaration of `sched' with no type /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp: In function `int sched()': /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:128: error: parse error before `->' token /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:129: error: ISO C++ forbids declaration of `ready_enqueue' with no type /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:131: error: ISO C++ forbids declaration of `kill_all' with no type /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:133: error: ISO C++ forbids declaration of `threading_system_active' with no type /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:133: error: conflicting types for `int Helping_lock::threading_system_active' auto/helping_lock.h:24: error: previous declaration as `bool Helping_lock::threading_system_active' /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:135: error: ISO C++ forbids declaration of `exit' with no type /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:135: error: ` int exit' redeclared as different kind of symbol /usr/include/stdlib.h:612: error: previous declaration of `void exit(int)' /home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/src/kern/kernel_thread.cpp:136: error: parse error before `}' token make[3]: *** [kernel_thread.o] Error 1 make[3]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/build' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/build' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/sk852421/Documents/uni/OS/Fiasco-UX/l4/kernel/fiasco/build' make: *** [build] Error 2 here is my config: http://www.inf.tu-dresden.de/~sk852421/fiasco/globalconfig.out and here the full make output: http://www.inf.tu-dresden.de/~sk852421/fiasco/make.out3 Perhaps anybody knows that error??? At last here are some information about my system environment: i'm running kernel 2.6.10 gcc -v: Reading specs from /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/specs Configured with: /var/tmp/portage/gcc-3.3.5-r1/work/gcc-3.3.5/configure --enable-version-specific-runtime-libs --prefix=/usr --bindir=/usr/i686-pc-linux-gnu/gcc-bin/3.3.5 --includedir=/usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/include --datadir=/usr/share/gcc-data/i686-pc-linux-gnu/3.3.5 --mandir=/usr/share/gcc-data/i686-pc-linux-gnu/3.3.5/man --infodir=/usr/share/gcc-data/i686-pc-linux-gnu/3.3.5/info --with-gxx-include-dir=/usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/include/g++-v3 --host=i686-pc-linux-gnu --disable-altivec --enable-nls --without-included-gettext --enable-__cxa_atexit --enable-clocale=gnu --with-system-zlib --disable-checking --disable-werror --disable-libunwind-exceptions --enable-shared --enable-threads=posix --disable-multilib --disable-libgcj --enable-languages=c,c++,f77 Thread model: posix gcc version 3.3.5 (Gentoo Linux 3.3.5-r1, ssp-3.3.2-3, pie-8.7.7.1) env: INFODIR=/usr/share/info MANPATH=/usr/share/man:/usr/local/share/man:/usr/share/gcc-data/i686-pc-linux-gnu/3.3.5/man:/usr/share/man:/usr/local/share/man:/usr/share/gcc-data/i686-pc-linux-gnu/3.3.5/man::/opt/blackdown-jdk-1.4.2.01/man::/opt/jdk1.5.0/man:/usr/qt/3/doc/man:/opt/vmware/man:/opt/blackdown-jdk-1.4.2.01/man:/usr/share/man:/usr/local/share/man:/usr/share/gcc-data/i686-pc-linux-gnu/3.3.5/man::/opt/blackdown-jdk-1.4.2.01/man::/opt/jdk1.5.0/man:/usr/qt/3/doc/man:/opt/vmware/man:/opt/jdk1.5.0/man:/usr/qt/3/doc/man:/opt/vmware/man KDE_MULTIHEAD=false DM_CONTROL=/var/run/xdmctl HOSTNAME=nautilus TERM=xterm SHELL=/bin/bash XDM_MANAGED=/var/run/xdmctl/xdmctl-:0,maysd,mayfn,sched,method=classic GTK2_RC_FILES=/etc/gtk-2.0/gtkrc:/home/sk852421/.gtkrc-2.0:/home/sk852421/.kde3.3/share/config/gtkrc GTK_RC_FILES=/etc/gtk/gtkrc:/home/sk852421/.gtkrc:/home/sk852421/.kde3.3/share/config/gtkrc GS_LIB=/home/sk852421/.fonts WINDOWID=33554439 QTDIR=/usr/qt/3 KDE_FULL_SESSION=true ANT_HOME=/usr/share/ant-core USER=sk852421 JRE_HOME=/opt/jdk1.5.0 LS_COLORS=no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=01;05;37;41:mi=01;05;37;41:ex=01;32:*.cmd=01;32:*.exe=01;32:*.com=01;32:*.btm=01;32:*.bat=01;32:*.sh=01;32:*.csh=01;32:*.tar=01;31:*.tgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.mng=01;35:*.xcf=01;35:*.pcx=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.avi=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.mov=01;35:*.qt=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.fli=01;35:*.gl=01;35:*.dl=01;35:*.pdf=00;32:*.ps=00;32:*.txt=00;32:*.patch=00;32:*.diff=00;32:*.log=00;32:*.tex=00;32:*.doc=00;32:*.mp3=00;36:*.wav=00;36:*.mid=00;36:*.midi=00;36:*.au=00;36:*.ogg=00;36:*.flac=00;36:*.aac=00;36: XCURSOR_SIZE= GDK_USE_XFT=1 KDEDIR=/usr/kde/3.3 SESSION_MANAGER=local/nautilus:/tmp/.ICE-unix/10847 PAGER=/usr/bin/less CONFIG_PROTECT_MASK=/etc/terminfo XINITRC=/etc/X11/xinit/xinitrc KONSOLE_DCOP=DCOPRef(konsole-10865,konsole) PATH=/usr/kde/3.3/bin:/bin:/usr/bin:/usr/local/bin:/opt/bin:/usr/i686-pc-linux-gnu/gcc-bin/3.3.5:/opt/Acrobat5:/usr/X11R6/bin:/opt/blackdown-jdk-1.4.2.01/bin:/opt/blackdown-jdk-1.4.2.01/jre/bin:/opt/jdk1.5.0/bin:/usr/qt/3/bin:/usr/kde/3.3/bin:/usr/kde/3.2/bin:/usr/kde/3.1/bin:/usr/games/bin:/opt/vmware/bin DESKTOP_SESSION=kde-3.3.1 KONSOLE_DCOP_SESSION=DCOPRef(konsole-10865,session-2) PWD=/home/sk852421/Documents/uni/OS/Praktikum/uebung3 INPUTRC=/etc/inputrc JAVA_HOME=/opt/jdk1.5.0 JAVAC=/opt/blackdown-jdk-1.4.2.01/bin/javac EDITOR=/usr/bin/emacs QMAKESPEC=linux-g++ KDEDIRS=/usr KDE_MALLOC=1 HOME=/home/sk852421 SHLVL=3 JDK_HOME=/opt/blackdown-jdk-1.4.2.01 XCURSOR_THEME=whiteglass LOGNAME=sk852421 LESS=-R GCC_SPECS= CVS_RSH=ssh CLASSPATH=. LESSOPEN=|lesspipe.sh %s INFOPATH=/usr/share/info:/usr/share/gcc-data/i686-pc-linux-gnu/3.3.5/info DISPLAY=:0.0 LADSPA_PATH=/usr/lib/ladspa G_BROKEN_FILENAMES=1 CONFIG_PROTECT=/usr/X11R6/lib/X11/xkb /usr/kde/3.3/share/config /usr/kde/3.3/env /usr/kde/3.3/shutdown /usr/kde/3.2/share/config /usr/kde/3.1/share/config /usr/share/texmf/tex/generic/config/ /usr/share/texmf/tex/platex/config/ /usr/share/texmf/dvips/config/ /usr/share/texmf/dvipdfm/config/ /usr/share/texmf/xdvi/ /usr/share/config COLORTERM= _=/bin/env For any advice i would be very thankful! greetings stefan kalkowski -- PGP-Schlüssel zu finden unter: http://www.inf.tu-dresden.de/~sk852421

3 8

L4Linux and serial port access from other tasks
by Julian Grizzard 26 Jan '05

26 Jan '05

Hi all, I'm running L4Linux on the Fiasco V2 microkernel on a Pentium IV. I am also running other L4 applications beside the L4Linux kernel. I would like to be able to print debug messages from those applications to the serial port. Messages print fine until L4Linux boots up. As best as I can determine, the problem is that L4Linux gets control of the serial port, and so no other tasks can use it. There may be a way to get this working using the L4Env setup; however, I am trying to keep a very minimal setup and so do not want to use L4Env. Can anyone provide some pointers on how to best go about restricting L4Linux's access to the serial port? Thanks! -Julian

2 2

L4Linux on AMD NF7-S
by sbrobson＠fastmail.fm 14 Jan '05

14 Jan '05

Hi. I'm trying to get l4linux to run on an AMD Athlon with a NF7-S mother board. I have managed to get linux to run, but only by removing the PCI bus support from the kernel completely. Other attempts at compiling the kernel have resulted in one of two errors when loading: loader | module path <(nd)/fiasco/hdboot> loader | <vmlinuz.l4env>, args <l4irqack=linux mem=64M no-scroll load_ramdisk= loader : 1 ramdisk_size=16384 root=/dev/ram0 ro l4env_rd=(nd)/fiasco/drops-rd. loader : rd> loader | <vmlinuz.l4env>: priority: a0 exec | vmlinuz.l4env: Loading tftp | Loading (nd)/fiasco/hdboot/vmlinuz.l4env [1146kB] exec | vmlinuz.l4env: Too many (>4) loadable program sections loader | vmlinuz.l4env: Error -2001 (EXEC: Invalid file format) while loading loader | ==> App successfully purged OR, Linux version 2.4.28-l4 (root@magenta) (gcc version 3.3.4 (Debian 1:3.3.4-9ubuntu5)) #99 Thu Jan 13 16:18:11 SAST 2005 69MB LOWMEM available. hm, page 00000000 reserved twice. INITRD: 045a9000 - 055a9000 pagetable_init: "Mapped" 1620 4K and 15 4M pages. On node 0 totalpages: 17833 zone(0): 17833 pages. zone(1): 0 pages. zone(2): 0 pages. l4lx | l4lx_thread_create: Created thread 13.04 (Root pager) Kernel command line: l4irqack=linux mem=64M no-scroll load_ramdisk=1 ramdisk_size=16384 root=/dev/ram0 ro l4env_rd=(nd)/fiasco/drops-rd.rd l4irqack: L4Linux acknowledges IRQs itself l4lx_irq_timer_startup(0) timer_irq_thread: Starting timer IRQ thread CPU 0. l4lx | l4lx_thread_create: Created thread 13.05 (IRQ0 (Timer)) Console: colour dummy device 80x25 Calibrating delay loop... 1835.00 BogoMIPS Memory: 64736k/71332k available (788k kernel code, 800k reserved, 229k data, 264k init, 0k highmem) Dentry cache hash table entries: 16384 (order: 5, 131072 bytes) Inode cache hash table entries: 8192 (order: 4, 65536 bytes) Mount cache hash table entries: 512 (order: 0, 4096 bytes) Buffer cache hash table entries: 4096 (order: 2, 16384 bytes) Page-cache hash table entries: 32768 (order: 5, 131072 bytes) CPU: L1 I Cache: 64K (64 bytes/line), D cache 64K (64 bytes/line) CPU: L2 Cache: 512K (64 bytes/line) CPU: AMD Athlon(tm) XP 2600+ stepping 00 POSIX conformance testing by UNIFIX PCI: PCI BIOS revision 2.10 entry at 0xfb420, last bus=2 PCI: Using configuration type 1 PCI: Probing PCI hardware PCI: Probing PCI hardware (bus 00) PCI: Discovered primary peer bus ff [IRQ] PCI: Using IRQ router default [10de/01e0] at 00:00.0 Linux NET4.0 for Linux 2.4 Based upon Swansea University Computer Society NET3.039 Starting kswapd Journalled Block Device driver loaded Starting L4FB via CON con | vc_loop(): vc[3] running as D.08 con | con_if_openqry_component(): Your vc is 03. (D.08) l4lx | l4lx_thread_create: Created thread 13.06 (L4ConInput) con | vc_open_out(): vc[3] 1024x768@16, gmode:0x35 l4fbcon: 1024x750 2bypp, size: 1536000 l4lx | l4lx_thread_create: Created thread 13.07 (CON refresher) l4fb: framebuffer at 0x180000, mapped to 0x00180000, size 0k l4fb: mode is 1024x750x16, linelength=2048, pages=0 l4fb: scrolling: redraw l4fb: directcolor: size=0:5:6:5, shift=0:11:5:0 Console: switching to colour frame buffer device 128x46 fb0: L4FB frame buffer device irq_thread: RMGR denied IRQ 1: Code 0xffffffff Serial driver versiocon | atkbd.c: Unknown n 5.05c (2001-07-08) with MANY_PORTS SHARE_IRQ SERIAL_PCI enabled keyboard: Timeout - AT keyboard not present?(ed) keyboard: Timeout - AT keyboard not present?(f4) ttyS00 at 0x03f8 (irq = 4) is a 16550A ttyS01 at 0x02f8 (irq = 3) is a 16550A irq_thread: RMGR denied IRQ 6: Code 0xffffffff key released (translated set 2, code 0x7a on isa0060 con : /serio0). con | atkbd.c: Unknown key released (translated set 2, code 0x7a on isa0060 con : /serio0). con | atkbd.c: This is an XFree86 bug. It shouldn't access hardware directl con : y. con | atkbd.c: This is an XFree86 bug. It shouldn't access hardware directl con : y. floppy0: no floppy controllers found RAMDISK driver initialized: 16 RAM disks of 16384K size 1024 blocksize loop: loaded (max 8 devices) Linux agpgart interface v0.99 (c) Jeff Hartmann agpgart: Maximum main memory to use for agp memory: 33M agpgart: Detected NVIDIA nForce2 chipset general protection: 0000 CPU: 0 EIP: 0000:[<0040b0fc>] EFLAGS: 00013202 eax: 04560000 ebx: 010bec9c ecx: 00000000 edx: 004efe20 esi: 00000000 edi: 00000000 ebp: 010cff08 esp: 010cff0c ds: 0000 es: 0000 ss: 0000 Process swapper (pid: 1, stackpage=010cf000) Stack: 0040b3a5 04560000 000001Linux version 2.4.28-l4 (root@magenta) (gcc version 3.3.4 (Debian 1:3.3.4-9ubuntu5)) #99 Thu Jan 13 16:18:11 SAST 2005 69MB LOWMEM available. hm, page 00000000 reserved twice. INITRD: 045a9000 - 055a9000 pagetable_init: "Mapped" 1620 4K and 15 4M pages. On node 0 totalpages: 17833 zone(0): 17833 pages. zone(1): 0 pages. zone(2): 0 pages. l4lx | l4lx_thread_create: Created thread 13.04 (Root pager) Kernel command line: l4irqack=linux mem=64M no-scroll load_ramdisk=1 ramdisk_size=16384 root=/dev/ram0 ro l4env_rd=(nd)/fiasco/drops-rd.rd l4irqack: L4Linux acknowledges IRQs itself l4lx_irq_timer_startup(0) timer_irq_thread: Starting timer IRQ thread CPU 0. l4lx | l4lx_thread_create: Created thread 13.05 (IRQ0 (Timer)) Console: colour dummy device 80x25 Calibrating delay loop... 1835.00 BogoMIPS Memory: 64736k/71332k available (788k kernel code, 800k reserved, 229k data, 264k init, 0k highmem) Dentry cache hash table entries: 16384 (order: 5, 131072 bytes) Inode cache hash table entries: 8192 (order: 4, 65536 bytes) Mount cache hash table entries: 512 (order: 0, 4096 bytes) Buffer cache hash table entries: 4096 (order: 2, 16384 bytes) Page-cache hash table entries: 32768 (order: 5, 131072 bytes) CPU: L1 I Cache: 64K (64 bytes/line), D cache 64K (64 bytes/line) CPU: L2 Cache: 512K (64 bytes/line) CPU: AMD Athlon(tm) XP 2600+ stepping 00 POSIX conformance testing by UNIFIX PCI: PCI BIOS revision 2.10 entry at 0xfb420, last bus=2 PCI: Using configuration type 1 PCI: Probing PCI hardware PCI: Probing PCI hardware (bus 00) PCI: Discovered primary peer bus ff [IRQ] PCI: Using IRQ router default [10de/01e0] at 00:00.0 Linux NET4.0 for Linux 2.4 Based upon Swansea University Computer Society NET3.039 Starting kswapd Journalled Block Device driver loaded Starting L4FB via CON con | vc_loop(): vc[3] running as D.08 con | con_if_openqry_component(): Your vc is 03. (D.08) l4lx | l4lx_thread_create: Created thread 13.06 (L4ConInput) con | vc_open_out(): vc[3] 1024x768@16, gmode:0x35 l4fbcon: 1024x750 2bypp, size: 1536000 l4lx | l4lx_thread_create: Created thread 13.07 (CON refresher) l4fb: framebuffer at 0x180000, mapped to 0x00180000, size 0k l4fb: mode is 1024x750x16, linelength=2048, pages=0 l4fb: scrolling: redraw l4fb: directcolor: size=0:5:6:5, shift=0:11:5:0 Console: switching to colour frame buffer device 128x46 fb0: L4FB frame buffer device irq_thread: RMGR denied IRQ 1: Code 0xffffffff Serial driver versiocon | atkbd.c: Unknown n 5.05c (2001-07-08) with MANY_PORTS SHARE_IRQ SERIAL_PCI enabled keyboard: Timeout - AT keyboard not present?(ed) keyboard: Timeout - AT keyboard not present?(f4) ttyS00 at 0x03f8 (irq = 4) is a 16550A ttyS01 at 0x02f8 (irq = 3) is a 16550A irq_thread: RMGR denied IRQ 6: Code 0xffffffff key released (translated set 2, code 0x7a on isa0060 con : /serio0). con | atkbd.c: Unknown key released (translated set 2, code 0x7a on isa0060 con : /serio0). con | atkbd.c: This is an XFree86 bug. It shouldn't access hardware directl con : y. con | atkbd.c: This is an XFree86 bug. It shouldn't access hardware directl con : y. floppy0: no floppy controllers found RAMDISK driver initialized: 16 RAM disks of 16384K size 1024 blocksize loop: loaded (max 8 devices) Linux agpgart interface v0.99 (c) Jeff Hartmann agpgart: Maximum main memory to use for agp memory: 33M agpgart: Detected NVIDIA nForce2 chipset general protection: 0000 CPU: 0 EIP: 0000:[<0040b0fc>] EFLAGS: 00013202 eax: 04560000 ebx: 010bec9c ecx: 00000000 edx: 004efe20 esi: 00000000 edi: 00000000 ebp: 010cff08 esp: 010cff0c ds: 0000 es: 0000 ss: 0000 Process swapper (pid: 1, stackpage=010cf000) Stack: 0040b3a5 04560000 00000173 010cff1c 0100f9d8 00000173 04560000 000bec80 010cff5c 0049e08c 010bec9c 00000020 00000173 0100001c 00008000 00000005 0457ffff 00000000 00000000 00000000 010cff84 0050eeb0 010cff98 00000008 Call Trace: [<0040b3a5>] [<0049e08c>] [<003ff2d0>] [<003ff2de>] [<004016c2>] Code: 0f 09 5d c3 55 89 e5 8b 45 08 53 8b 4d 0c 8b 5d 10 89 18 8bhttp://www.google.com/ <0>Kernel panic: Attempted to kill init! con | atkbd.c: Unknown key released (translated set 2, code 0x7a on isa0060 con : /serio0). con | atkbd.c: This is an XFree86 bug. It shouldn't access hardware directl con : y. con | atkbd.c: Unknown key released (translated set 2, code 0x7a on isa0060 con : /serio0). con | atkbd.c: This is an XFree86 bug. It shouldn't access hardware directl con : y. 73 010cff1c 0100f9d8 00000173 04560000 000bec80 010cff5c 0049e08c 010bec9c 00000020 00000173 0100001c 00008000 00000005 0457ffff 00000000 00000000 00000000 010cff84 0050eeb0 010cff98 00000008 Call Trace: [<0040b3a5>] [<0049e08c>] [<003ff2d0>] [<003ff2de>] [<004016c2>] Code: 0f 09 5d c3 55 89 e5 8b 45 08 53 8b 4d 0c 8b 5d 10 89 18 8b <0>Kernel panic: Attempted to kill init! con | atkbd.c: Unknown key released (translated set 2, code 0x7a on isa0060 con : /serio0). con | atkbd.c: This is an XFree86 bug. It shouldn't access hardware directl con : y. con | atkbd.c: Unknown key released (translated set 2, code 0x7a on isa0060 con : /serio0). con | atkbd.c: This is an XFree86 bug. It shouldn't access hardware directl con : y. Has anyone managed to get this right before, without removing the PCI support? How? Any suggestions? Thanx in advance, Steve -- sbrobson(a)fastmail.fm

2 2

build report for Drops on FBSD
by Etienne Robillard 12 Jan '05

12 Jan '05

Hi, Here's the summary of what I've done to (almost) compile drops on FreeBSD 5.3-STABLE. - in l4/tool/gendep/syscall.c: Added #ifdef linux to wrap around missing <asm/unistd.h>. - Added $(LDFLAGS) to l4/tool/gendep/Makefile. - Told libgendep.so to link with `perl -MExtUtils::Embed -e ldopts` instead of '-ldl'. - Needed to configure drops with cpp33 instead of cpp0. - In $(OSKIT)/boot/boot_start.c, gcc complained about missing "" characters, so I added a bunch of them. - In $(L4DIR)/mk/Makeconf, I've added FIND=/usr/local/bin/gfind to avoid confusion with FreeBSD find (/usr/bin/find). I've told mk/include.mk to use $(FIND). Here's the latest official build-problem I've encountered: ... Compiling rmgr.o LD_PRELOAD=/opt/usr/local/drops/l4/tool/gendep/libgendep.so GENDEP_TARGET=rmgr.o GENDEP_BINARY=cpp33 gcc -c -DRAM_BASE=0x0 -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -I../../../server/src -I. -I/usr/include -I../../../idl/OBJ-x86-l4v2 -I../../../../../include/x86/l4v2 -I/opt/usr/local/drops/include/x86/l4v2 -I../../../../../include/l4v2 -I/opt/usr/local/drops/include/l4v2 -I../../../../../include/x86 -I/opt/usr/local/drops/include/x86 -I../../../../../include -I/opt/usr/local/drops/include -nostdinc -I../../../../../../oskit -I../../../../../../oskit/flux/c -I/opt/usr/local/drops/include/oskit06 -I/opt/usr/local/drops/include/oskit06/flux/c -I/include -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations /opt/usr/local/drops/l4/pkg/rmgr/server/src/rmgr.c -o rmgr.o In file included from /opt/usr/local/drops/l4/pkg/rmgr/server/src/exec.h:4, from /opt/usr/local/drops/l4/pkg/rmgr/server/src/rmgr.c:9: ../../../../../../oskit/flux/machine/types.h:61: error: redefinition of typedef 'vm_offset_t' /usr/include/sys/types.h:252: error: previous declaration of 'vm_offset_t' washere ../../../../../../oskit/flux/machine/types.h:68: error: redefinition of typedef 'vm_size_t' /usr/include/sys/types.h:256: error: previous declaration of 'vm_size_t' was here In file included from /opt/usr/local/drops/l4/pkg/rmgr/server/src/rmgr.c:12: /opt/usr/local/drops/l4/pkg/rmgr/server/src/memmap_lock.h: In function `enter_memmap_functions': /opt/usr/local/drops/l4/pkg/rmgr/server/src/memmap_lock.h:20: warning: implicit declaration of function `panic' gmake[4]: *** [rmgr.o] Error 1 gmake[4]: Leaving directory `/opt/usr/local/drops/l4/pkg/rmgr/server/src/OBJ-x86_586-l4v2' gmake[3]: *** [OBJ-x86_586-l4v2] Error 2 gmake[3]: Leaving directory `/opt/usr/local/drops/l4/pkg/rmgr/server/src' gmake[2]: *** [src] Error 2 gmake[2]: Leaving directory `/opt/usr/local/drops/l4/pkg/rmgr/server' gmake[1]: *** [server] Error 2 gmake[1]: Leaving directory `/opt/usr/local/drops/l4/pkg/rmgr' gmake: *** [hello] Error 2 ===== JabberID: incidah (at) njs (dot) netlab (dot) cz -----BEGIN PGP SIGNATURE----- iD8DBQBBvMMiwi4xwWEgKqERAsAAAJ0anaSvffwamXLuJnIwH5GRsTjM1wCdGHpa BqtF2n/eBawNURrU1t/9FDA= =tuy/ -----END PGP SIGNATURE----- ______________________________________________________________________ Post your free ad now! http://personals.yahoo.ca

2 3

Problem building the Pistachio 0.4 kernel
by Andreas Grosam 10 Jan '05

10 Jan '05

Hi All, this is my first attempt to compile the kernel. After installing L4/Pistachio and the tool chain for building a PowerPC kernel (on a PowerBook G4), i got this error message while compiling the kernel sources: pistachio-0.4/kernel/include/glue/v4-powerpc/tcb.h:330: error: can't find a register in class `GENERAL_REGS' while reloading `asm' I'm using gcc-3.4.3 as the cross compiler - compiled with the Apple tools. It doesn't seem that this error has something to do with the sources - more likely it is compiler related. I'm not a compiler guru, thus googling for that error message revealed some more information. Unfortunately no suggested solution for that specific problem seems appropriate. Furthermore, it turned out that this might be an optimization bug in the compiler. When using -O1 optimization when building the kernel (default is -Os), this error disappears. With stronger optimization it comes back. Do you have an idea how to workaround this error (gcc patches or prior versions, etc.)? Thanks in advance for any help! Regards Andreas

2 1

Network server + l4linux NIC stub driver
by sbrobson＠fastmail.fm 06 Jan '05

06 Jan '05

Hi all, I'm working on an system that runs multiple instances of l4linux. I would however like to set it up so that these instances share a network card, by means of a network server and stub driver interface. I have found a number of papers refering to such setups, including a reference to an OshKosh Network driver. Are such network servers available? Where can I get hold of one? Regards, steve. -- sbrobson(a)fastmail.fm

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 2005