- l4-hackers - example.com Site

RE: build error
by "Wen, Jun (溫軍 IAC-N)" 10 Sep '03

10 Sep '03

Hi thanks for reply quickly.follow advise it shows below. BRS john make -I../src -f ../src/Makefile \ srcdir=../src "all" Reading specs from /usr/lib/gcc-lib/i686-pc-cygwin/3.2/specs make[1]: Entering directory `/cygdrive/f/fiasco-1.0/l4/kernel/fiasco/build' ... Making context-ia32-ux.o g++ -v -c -MD -I../src/types/ia32 -I../src/types -I../src/drivers/ia32 -I../src/ drivers -I../src/kern/ia32 -I../src/kern/shared -I../src/kern -I../src/boot -I.. /src/lib/libk/ia32 -I../src/lib/libk -I../src/lib/kern/include -I../src/lib/amm -I../src/lib/lmm -I../src/lib/gzip -I../src/lib/disasm -I../src/lib/minilibc/ia3 2/include -I../src/lib/minilibc/include -I. -Iauto -fno-rtti -fno-exceptions - march=i586 -fomit-frame-pointer -mpreferred-stack-boundary=2 -fno-defer-pop -fr eg-struct-return -g -Wall -W -finline-limit=2000 -O3 auto/context-ia32-ux. cc - o context-ia32-ux.o Reading specs from /usr/lib/gcc-lib/i686-pc-cygwin/3.2/specs Configured with: /netrel/src/gcc-3.2-3/configure --enable-languages=c,c++,f77,ja va --enable-libgcj --enable-threads=posix --with-system-zlib --enable-nls --with out-included-gettext --enable-interpreter --disable-sjlj-exceptions --disable-ve rsion-specific-runtime-libs --enable-shared --build=i686-pc-linux --host=i686-pc -cygwin --target=i686-pc-cygwin --enable-haifa --prefix=/usr --exec-prefix=/usr --sysconfdir=/etc --libdir=/usr/lib --includedir=/nonexistent/include --libexecd ir=/usr/sbin Thread model: posix gcc version 3.2 20020927 (prerelease) /usr/lib/gcc-lib/i686-pc-cygwin/3.2/cc1plus.exe -v -I../src/types/ia32 -I.. /src /types -I../src/drivers/ia32 -I../src/drivers -I../src/kern/ia32 -I../src/kern/s hared -I../src/kern -I../src/boot -I../src/lib/libk/ia32 -I../src/lib/libk -I../ src/lib/kern/include -I../src/lib/amm -I../src/lib/lmm -I../src/lib/gzip -I../sr c/lib/disasm -I../src/lib/minilibc/ia32/include -I../src/lib/minilibc/include -I . -Iauto -MD context-ia32-ux.d -MQ context-ia32-ux.o -D__GNUC__=3 -D__GNUC_MINOR __=2 -D__GNUC_PATCHLEVEL__=0 -D__GXX_ABI_VERSION=102 -D_X86_=1 -D_X86_=1 -Asyste m=winnt -D__OPTIMIZE__ -D__STDC_HOSTED__=1 -Acpu=i386 -Amachine=i386 -Di386 -D__ i386 -D__i386__ -D__i586 -D__i586__ -D__pentium -D__pentium__ -D__tune_i586__ -D __tune_pentium__ -D__stdcall=__attribute__((__stdcall__)) -D__fastcall=__attribu te__((__fastcall__)) -D__cdecl=__attribute__((__cdecl__)) -D_stdcall=__attribute __((__stdcall__)) -D_fastcall=__attribute__((__fastcall__)) -D_cdecl=__attribute __((__cdecl__)) -D__declspec(x)=__attribute__((x)) -D__i386__ -D__i386 -D__CYGWI N32__ -D__CYGWIN__ -Dunix -D__unix__ -D__unix -isystem /usr/lib/gcc-lib/i686-pc- cygwin/3.2/../../../../include/w32api -isystem /usr/lib/gcc-lib/i686-pc-cygwin/3 .2/../../../../i686-pc-cygwin/lib/../../include/w32api auto/context-ia32-ux. cc - D__GNUG__=3 -D__DEPRECATED -quiet -dumpbase context-ia32-ux.cc -march=i586 -mpre ferred-stack-boundary=2 -g -O3 -Wall -W -version -fno-rtti -fno-exceptions -fomi t-frame-pointer -fno-defer-pop -freg-struct-return -finline-limit=2000 -o /cygdr ive/c/DOCUME~1/INC970~1/LOCALS~1/Temp/ccNnjfaX.s GNU CPP version 3.2 20020927 (prerelease) (cpplib) (80386, BSD syntax) GNU C++ version 3.2 20020927 (prerelease) (i686-pc-cygwin) compiled by GNU C version 3.2 20020927 (prerelease). ignoring nonexistent directory "/usr/local/include" ignoring nonexistent directory "/usr/i686-pc-cygwin/include" ignoring duplicate directory "/usr/i686-pc-cygwin/lib/../../include/w32api" #include "..." search starts here: #include <...> search starts here: ../src/types/ia32 ../src/types ../src/drivers/ia32 ../src/drivers ../src/kern/ia32 ../src/kern/shared ../src/kern ../src/boot ../src/lib/libk/ia32 ../src/lib/libk ../src/lib/kern/include ../src/lib/amm ../src/lib/lmm ../src/lib/gzip ../src/lib/disasm ../src/lib/minilibc/ia32/include ../src/lib/minilibc/include . auto /usr/include/w32api /usr/include/c++/3.2 /usr/include/c++/3.2/i686-pc-cygwin /usr/include/c++/3.2/backward /usr/lib/gcc-lib/i686-pc-cygwin/3.2/include /usr/include End of search list. /usr/lib/gcc-lib/i686-pc-cygwin/3.2/../../../../i686-pc-cygwin/bin/as.exe --tra ditional-format -o context-ia32-ux.o /cygdrive/c/DOCUME~1/INC970~1/LOCALS~1/Temp /ccNnjfaX.s /cygdrive/c/DOCUME~1/INC970~1/LOCALS~1/Temp/ccNnjfaX.s: Assembler messages: /cygdrive/c/DOCUME~1/INC970~1/LOCALS~1/Temp/ccNnjfaX.s:826: Error: unknown pseud o-op: `.previous' make[1]: *** [context-ia32-ux.o] Error 1 make[1]: Leaving directory `/cygdrive/f/fiasco-1.0/l4/kernel/fiasco/build' make: *** [all] Error 2 -----Original Message----- From: Udo A. Steinberg [mailto:us15@os.inf.tu-dresden.de] Sent: Wednesday, September 10, 2003 9:24 AM To: l4-hackers(a)os.inf.tu-dresden.de Subject: Re: build error _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

1 0

build error
by "Wen, Jun (溫軍 IAC-N)" 10 Sep '03

10 Sep '03

Hi, i am new to L4 and trying to build l4 using cygwin.but get some error like this in \fiasco-1.0\l4\kernel\fiasco\build just make ---------------------------------------------------------------------------- ----------------------- g++ -c -MD -I../src/types/ia32 -I../src/types -I../src/drivers/ia32 -I../src/dri vers -I../src/kern/ia32 -I../src/kern/shared -I../src/kern -I../src/boot -I../sr c/lib/libk/ia32 -I../src/lib/libk -I../src/lib/kern/include -I../src/lib/amm -I. ./src/lib/lmm -I../src/lib/gzip -I../src/lib/disasm -I../src/lib/minilibc/ia32/i nclude -I../src/lib/minilibc/include -I. -Iauto -fno-rtti -fno-exceptions -mar ch=i586 -fomit-frame-pointer -mpreferred-stack-boundary=2 -fno-defer-pop -freg- struct-return -g -Wall -W -finline-limit=2000 -O3 auto/context-ia32-ux.cc -o c ontext-ia32-ux.o /cygdrive/c/DOCUME~1/INC970~1/LOCALS~1/Temp/ccjaRJqc.s: Assembler messages: /cygdrive/c/DOCUME~1/INC970~1/LOCALS~1/Temp/ccjaRJqc.s:826: Error: unknown pseud o-op: `.previous' ---------------------------------------------------------------------------- ---------------------------- any suggestion will be appreciated! BRS john

2 1

Re: L4Linux boot stop "param_word bits 16-19 must be 0. Fix yourbindings!"
by Udo A. Steinberg 07 Sep '03

07 Sep '03

On Fri, 05 Sep 2003 20:45:53 +0100 David Denny (DD) wrote: DD> I've now got myself a sensible environment and I know which compiler is DD> which. I have jdb but not kdb. I have no info to help me debug the DD> "fix my bindings" message that I can interpret. KDB has been superseded by JDB. JDB is in fact the Fiasco kernel debugger. When entering the kernel debugger, you should get a line similar to this: ---------------------------------------------------ESP:201807a8 EIP:00006526 (6.00) jdb: 6.00 in this case is the thread that was active, when the debugger was entered (thread 0 of task 6). When the "fix your bindings" message appears, then note the task number (number before the dot). Compare it to the task numbers that "rmgr" or "loader" report when starting tasks, i.e. RMGR: loading "pingpong-ux" from 01d37000-01d6f72d to [ 00800000-0080f1c3 00810000-00960580 ] task #0x06 at entry 00800000 via trampoline page code 00070150 ^^^^^^^^^^ Task 6 is pingpong-ux or loader | vmlinuz.l4env,#f: Continue at l4env_init (00013350, libloader.s.so) ^^^^^^^^^^^^^^^^ Task 0x0f is L4Linux And voila, you'll find the offending program that needs fixing. DD> Is it possible that it's DD> the linux22 that needs checking out again, as this is what is loading just DD> prior to the message? Could well be. Only the task number will tell you for sure. Remote-CVS has been updated recently (Friday, Sep 5), so all the fixed bindings should have propagated to the wide world. DD> Furthermore, have you instructions on cvs checkout for packages? I've DD> only been to the website and my cvs's so far have been for the package DD> groups like linux22, hello, oskit, etc. You don't need to re-checkout packages. A simple "cvs update -dP" in any of your checked out directories will bring it up-to-date. Of course you still need to recompile the relevant packages afterwards. -Udo.

1 0

New cli/sti semantics in Fiasco 1.0?
by Jacob Gorm Hansen 30 Aug '03

30 Aug '03

hi, as far as I recall, Fiasco used to re-enable interrupts upon returning from a syscall, even if they had been disabled before the syscall. Some of my old code (my patched version of L4Linux22 which I am using with nomadbios) seems to have relied on this behaviour and now fails with a "page fault in cli mode" on the first intruction after an IPC-operation. Am I correct that the behaviour has been changed like this, or do I just have to configure my Fiasco differently? The old Fiasco I am using is from CVS about a year ago. thanks, Jacob

1 1

l4/pkg/con etc
by David Denny 30 Aug '03

30 Aug '03

Hello Hackers. Having got to the stage of compiling successfully my second (debian) hello+fiasco+glinux set, I'm now looking at cool next step (read: "easy wins for the temporally challenged"). UX and CON seem to be my candidates. OK, UX looks more like the world I'm used to, so I won't ask about that yet. But I /do/ have a Q. about the drops con, which has wider learning implications, so a few hints here won't go amiss. My guess is that to yield up a con binary, I cd to l4/pkg/con, "make", and /no/ that isn't it because it falls over... my predecessor instructions were per website, CVSco, compile hello and fiasco using gcc3.2, compile linux22 using gcc2.95. so: how do I compile "con" and other packages, please? (or: a generalised rule to cover this) ;-) TIA David D

2 1

L4Linux boot stop "param_word bits 16-19 must be 0. Fix your bindings!"
by David Denny 28 Aug '03

28 Aug '03

Hello Hackers booting l4linux stops with: KDB: thread_schedule: param_word bits 16-19 must be 0. Fix your bindings! My grub menu contains: +-------------------------------------------------------------------[0]---+ | 0: kernel (hd0,2)/denny/Dresden/rmgr -sigma0 | | 1: modaddr 0x02000000 | | 2: module (hd0,2)/denny/Dresden/main -nokdb -nowait -comspeed 9600 -com| | 3: module (hd0,2)/denny/Dresden/sigma0 | | 4: module (hd0,2)/denny/Dresden/glinux root=/dev/hda3 | | 5: module (hd0,2)/denny/Dresden/hello umm, pasting from the remote serial console.. line 2 ends in "-comport 1" OK let's reboot the big system & paste the whole thing. BTW your hackked grub is now sitting in the mbr of (hd0) AND it WORKS ! 8-) title failsafe chavin:/boot/grub # less menu.lst # Modified by YaST2. Last modification on Tue Aug 26 06:06:59 2003 color white/blue black/light-gray # default 0 # timeout 8 serial --unit=0 --speed=9600 --word=8 --parity=no --stop=1 #terminal --timeout=10 serial console terminal serial console title SuSE Linux 8.2 Kernel 2.4.20 kernel (hd0,2)/boot/vmlinuz root=/dev/hda3 vga=0x31a splash=silent showopts initrd (hd0,2)/boot/initrd title (Remote) SuSE Linux 8.2 Kernel 2.4.20 kernel (hd0,2)/boot/vmlinuz root=/dev/hda3 console=tty0 console=ttyS0,9600n8 initrd (hd0,2)/boot/initrd title Debian Linux testing/unstable Kernel 2.2.20 kernel (hd0,1)/boot/vmlinuz-2.2.20 root=/dev/hda2 splash=silent vga=0x31a title (Remote) Debian Linux testing/unstable Kernel 2.2.20 kernel (hd0,1)/boot/vmlinuz-2.2.20 root=/dev/hda2 console=tty0 console=ttyS0,9600n8 title floppy root (fd0) chainloader +1 title failsafe kernel (hd0,2)/boot/vmlinuz.shipped root=/dev/hda3 showopts ide=nodma apm=of f acpi=off vga=normal nosmp noapic maxcpus=0 3 initrd (hd0,2)/boot/initrd.shipped title L4Linux -+- Hello World kernel (hd0,2)/denny/Dresden/rmgr -sigma0 modaddr 0x02000000 module (hd0,2)/denny/Dresden/main -nokdb -nowait -comspeed 9600 -comport 1 module (hd0,2)/denny/Dresden/sigma0 module (hd0,2)/denny/Dresden/glinux root=/dev/hda3 module (hd0,2)/denny/Dresden/hello title L4Linux-------------------><8------------------------ Apols I have not gone the netboot road, as "all"! my boxes are totally different there are too many risks for cross compiling, I compile for the OS and box where it loads from. Host OS is SuSE8.2 with linux22 compiled under 2.95.3 and l4 + the rest under 3.2 (i.e. reverted), all compiles terminated OK, all libraries & dependencies found to the best of my ability. The same error has stopped me for some 24 hours; I have been round the houses tidying up all I can find here so I await your advice with eagerness. In the meantime, to get a bit nearer, I have the Debian system ready for a similar assault when I have my energy restored... TIA David Denny

3 3

Driver using DDE
by Chris Lambert 26 Aug '03

26 Aug '03

Hello, we try to implement drivers for DROPS using the DDE, but we only have the sounddriver described in the diploma thesis of Christian Helmuth. Are there other sample drivers (smaller) available for us to see how to use DDE? It's part of a project at Operating Systems Chair at University of Saarland. Chris Lambert Markus Pister Marc Schlickling

2 1

Thanks all
by David Denny 25 Aug '03

25 Aug '03

Well we now have fiasco booting Hello, and more or less satisfactory boots of cpufreq and pingpong, on SuSE8.2 with reverted compiler (3.2). Thanks ALL for your assistance. My next steps are to get a L4Linux working on SuSE8,2 and then repeat for Debian. The side effects are of course swapping compilers and libraries in and out of the host OS. I should like to see after that if I can get the DoPE demo working properly. I am guessing so far that it may be some underlying library or compilation incompatibility. I have checked that vbeset, vbeprobe and testvbe work in grub, so it /doesn't/ seem to be the machine, and it's likely therefore that the issue has to be somewhere in the compiled binaries on the demo diskette. I'm wondering therefore if at some time the sources for vscrtest and its prereqs might be made available? (I will speak to Norman about DoPE). Thanks again. I hope to be back when I have got the next bits working successfully. Kind Regards & thanks all once again. David D

1 0

DROPS make in Debian Testing, failed from linux22 drivers
by David Denny 23 Aug '03

23 Aug '03

Hi Hackers After failing to "make hello" from the website, I tried "make" Drops from the docs page, however this has also crashed... see snip line. gcc3.3.1 again. debian/testing TIA David ----8><---------------------------------------------------------------------------------- In file included from /home/drops/linux22/include/asm/l4arch/floppy.h:4, from /home/drops/linux22/include/asm/floppy.h:4, from floppy.c:201: /home/drops/linux22/include/asm-i386/floppy.h:78:8: missing terminating " character /home/drops/linux22/include/asm-i386/floppy.h:99:9: missing terminating " character In file included from /home/drops/linux22/include/linux/blkdev.h:6, from /home/drops/linux22/include/linux/blk.h:4, from floppy.c:206: /home/drops/linux22/include/linux/genhd.h: In function `ptype': /home/drops/linux22/include/linux/genhd.h:83: warning: deprecated use of label at end of compound st atement make[5]: *** [floppy.o] Error 1 make[5]: Leaving directory `/home/drops/linux22/drivers/block' make[4]: *** [first_rule] Error 2 make[4]: Leaving directory `/home/drops/linux22/drivers/block' make[3]: *** [_subdir_block] Error 2 make[3]: Leaving directory `/home/drops/linux22/drivers' make[2]: *** [_dir_drivers] Error 2 make[2]: Leaving directory `/home/drops/linux22' make[1]: *** [vmlinux] Error 2 make[1]: Leaving directory `/home/drops/linux22' make: *** [../linux22] Error 2 dresden@chavin:/home/drops/l4$

2 1

Executable Subset
by David Denny 23 Aug '03

23 Aug '03

Hello Hackers again.. I've reconstituted my Fiasco box with a Debian (Stable) and a SuSE (8.0) dual boot. My aim is to have a workable approximation to the Dresden configurations using Debian, while the SuSE version will enable me to help test on that platform. I have acquired gcc3.2 and binutils to match and those will be installed shortly. I have a question for the group. My disk space is limited. I can build on this computer but it would be ideal if after building I could move the bulk of the l4, ($BUILDDIR), oskit, and the rest onto another machine, retaining on my "Fiasco" box only those files needed for a running installation, i.e. kernel modules, libraries, and whatever else. (It goes without saying that I need to reserve space for any linux executables that I intend to run on top of Fiasco) I'm happy to experiment with this question, but if the group already possesses a list of executables, libraries, and so on, it would be nice to start from there. OTOH if you don't then perhaps I could make a contribution to the project by creating this list. -- ____________________________________________ http://www.operamail.com Get OperaMail Premium today - USD 29.99/year Powered by Outblaze

3 2

auth.idl
by Etienne Robillard 20 Aug '03

20 Aug '03

Hi Hackers, on implementing the auth module (currently running on mach_port_t and all) in idl4 grammar with L4 ipc/syscalls. Question is how the relationship between mach_port_t would affect l4_threadid_t and folks ? The following is not currently appropriate for any of the Hurd/Mach RPC device or L4 syscalls: module auth { /* this is the generic auth module implementation for Hurd */ interface auth_getids /* generic api for _ids */ { int l4_ids_t([out] static l4_threadid_t ids_t, [out] &idarray_t /* some foo here je je */); }; This is only a partial implementation of the auth.def interface - but since the module is so small; it may be easier to port with l4_* components. It does use the idl4 fast compiler and is expected to be loaded as a root_task/clan_ipc ;) The brackets are for compatibility with DCE/DICE. etienne ______________________________________________________________________ Post your free ad now! http://personals.yahoo.ca /* experimental (and partial too) reincarnation of the 'Hurd' auth server on the L4 microkernel. It should be loaded as the root_task .. I need to know however the exact translation (idl grammar of the auth server on L4) that is required in order to get the module functionning ( or at least to compile! ) please no flame. */ module auth { interface auth_getids { int get_ids([out] static l4_threadid_t ids_t, [out] &idarray_t); };

2 1

Video Issue with DROPS demo
by David Denny 14 Aug '03

14 Aug '03

Hello Hackers I have a video problem with this machine running the Fiasco demo and my compiled fiasco modules. The latter hang on boot, or appear to do so. the demo appears to run, but black screen, and 1-pixel deep band of pretty coloured dots right at the top. Compaq pII400 deskpro sff. ATI3D Rage Pro AGP 1x/2x I will appreciate knowing which parts of which files might be worth looking at. My belief is that it's a vesa/framebuffer setting. Normal Linux runs X perfectly (both Deb and SuSE), and the (sorry) Pistachio demo boots and runs properly. SO, it has to be something simple. Grub settings and menu taken from Dresden website. TIA David -- ____________________________________________ http://www.operamail.com Get OperaMail Premium today - USD 29.99/year Powered by Outblaze

2 1

memory descriptor overflow was RE: [RMGR] kernel entry point and pistachio
by Etienne Robillard 11 Aug '03

11 Aug '03

--- Volkmar Uhlig <volkmar(a)ira.uka.de> wrote: > You can't use RMGR with Pistachio--why would you...? O.K - maybe it was not a very good idea.. you decide ;) I'm getting a memory descriptor overflow (m=200; n=200), while trying to _boot_ the kernel. 'esquisse' of whats going on: RMGR -- configuring s0 / roottask RMGR -- can't detect L4 kernel -- assuming UKA kernel. RMGR -- booting /boot/ia32-kernel... pistachio on foo@bar ... init_arch->boot_mem_init->kmem_init->activate_gdt(); several remaps() occurs... entering KDB, locked, blood shed ;) You can see in init.cc (pistachio-0.1) the following line : i < get_kip()->mem_info.get_num_descriptors(); i++ (...) hint: It would be great if the kernel could return to RMGR but its too early to tell - for now Volkmar is right and thus no RMGR can be used with X.2 ;) etienne ===== iD ______________________________________________________________________ Post your free ad now! http://personals.yahoo.ca

2 1

Re: Make error in sys_ipc_wrapper
by daviddenny＠chavin.net 01 Aug '03

01 Aug '03

Udo, Thanks.. I tried make clean followed by make... this stopped in the same place NB I'm using the CVS version, downloaded on Saturday or Sunday last, I'm not sure. Bearing in mind my previous problem with tempfile, I am wondering if there is a linux distro issue involved. I'm using SuSE8.0 which has a kernel level of 2.4.18. When looking at UML (IIRC), I remember seeing somewhere that the SuSE kernel is a bit customised. Maybe this is the problem and there are sources missing in my distro that Fiasco/L4 expects. Do I gather that tu-dresden relies on debian? Maybe I should consider installing a debian linux instead, on this machine. TIA David D "Udo A. Steinberg" <us15(a)os.inf.tu-dresden.de>@os.inf.tu-dresden.de Sent by: l4-hackers-bounces(a)os.inf.tu-dresden.de 15:05 ZE2 Today To: David Denny <david(a)yaravi.com> cc: "l4-hackers(a)os.inf.tu-dresden.de" <l4-hackers(a)os.inf.tu-dresden.de> Subject: Re: Make error in sys_ipc_wrapper On Wed, 30 Jul 2003 06:30:38 +0100 David Denny (DD) wrote: DD> I attach glpbalconfig.out & last piece of compile log & look forward to finding out what I have overlooked Hi, I've tried your configuration and I can build it just fine here. I'm using the current CVS version. What version are you using? CVS or the Fiasco-1.0 release + patches from our website? Also, have you tried a "make cleanall" and then a "make"? -Udo. -- Gleichgültigkeit ist die mildeste Form der Toleranz. [Karl Jaspers] _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

6 6

Make error in sys_ipc_wrapper (Michael Hohmuth)
by David Denny 01 Aug '03

01 Aug '03

Re --8><--------------------------------------------- This could also be a problem with `preprocess' or the Perl interpreter it uses. Could you try the following: % cd l4/tool/preprocess % cvs update -d [ Only if you use a copy checked out from our CVS ] % make test ---------------------------------------------8><-- Certainly, I'll do this & send result. I do use the CVS versions from your site, without exception. Thanks for the help David -- ____________________________________________ http://www.operamail.com Get OperaMail Premium today - USD 29.99/year Powered by Outblaze

1 0

Sawmill defunct?
by Peter Busser 31 Jul '03

31 Jul '03

Hello, I'm interested in Sawmill, but could not find any place to download it and the e-mail address on the web site does not work. Does anyone know if the project still exists and if so, wether there is a Sawmill mailing list and/or download page somewhere. I'm new to L4 and would like to learn more about microkernels by playing around a bit with the various versions. But it looks like that, except for the L4 kernels, there is not much to play with. Or is there? Groetjes, Peter Busser -- The Adamantix Project Taking trustworthy software out of the labs, and into the real world http://www.adamantix.org/

3 4

Is there an L4Linux v2.4?
by Peter Busser 30 Jul '03

30 Jul '03

Hello, Does anyone know if there is an L4Linux v2.4 available? And if not, if someone is working on it and when it will be out? Groetjes, Peter Busser

2 1

Re: Make error in sys_ipc_wrapper
by Udo A. Steinberg 30 Jul '03

30 Jul '03

On Wed, 30 Jul 2003 06:30:38 +0100 David Denny (DD) wrote: DD> I attach glpbalconfig.out & last piece of compile log & look forward to finding out what I have overlooked Hi, I've tried your configuration and I can build it just fine here. I'm using the current CVS version. What version are you using? CVS or the Fiasco-1.0 release + patches from our website? Also, have you tried a "make cleanall" and then a "make"? -Udo. -- Gleichgültigkeit ist die mildeste Form der Toleranz. [Karl Jaspers]

1 0

Make error in sys_ipc_wrapper
by David Denny 30 Jul '03

30 Jul '03

Hi Hackers Wondering if anyone has a quick answer for this Make error ---------------------8><---------------------------------------------------------------------------- thread-ipc.o: In function `Thread::handle_page_fault_pager(unsigned int, unsigned int)': /home/chavin/TUDresden/l4/kernel/fiasco/src/kern/thread-ipc.cpp:786: undefined reference to `Thread::do_send(Thread *, L4_timeout, Sys_ipc_frame *)' thread-ipc.o: In function `sys_ipc_wrapper': /home/chavin/TUDresden/l4/kernel/fiasco/src/kern/thread-ipc.cpp:968: undefined reference to `Thread::do_send(Thread *, L4_timeout, Sys_ipc_frame *)' make[3]: *** [kernel.image] Error 1 ---------------------8><---------------------------------------------------------------------------- Happy to provide more diagnostics if required. TIA David Denny

2 1

Semantics of extraordinary scheduling
by Robert Kaiser 29 Jul '03

29 Jul '03

Hello, I have a question about extraordinary scheduling in L4: The specification is unclear about if/how the thread's scheduling priorities are involved in the game. What is the intended behavior if -say- a high priority thread donates its remaining timeslice to a lower-priority one. If I understand the code correctly, what happens in existing L4 implementations is that 1. The recipient gets to execute regardless of it's priority, i.e. even if there are runnable threads that have a higher priority than the recipient, that recipient still gets the CPU. 2. If, while the recipient is running on its donated time slice, another, higher priority thread becomes ready (e.g. due to an interrupt), the recipient is preempted. So far so good, but, when that preempting thread blocks again, the scheduler selects the next thread solely according to priority, i.e. if the recipient does not have the highest priority, another thread will run and the recipient may effectively loose its donated time prematurely due to an unrelated event (interrupt). My naive gut feeling suggests that either 1. or 2. are not really the intended behavior. Am I missing something ? Is anybody using this mechanism at all ? Many thanks for any insights Rob ---------------------------------------------------------------- Robert Kaiser email: rkaiser(a)sysgo.de SYSGO AG Am Pfaffenstein 14 phone: (49) 6136 9948-762 D-55270 Klein-Winternheim / Germany fax: (49) 6136 9948-10

1 0

Stupid newb can't "make -C l4 config"- THANKS
by David Denny 28 Jul '03

28 Jul '03

Well, I woke up with the realisation that maybe there was a src for debianutils at debian.org- and so there was.. have installed tempfile, all OK now but /slightly embarrassed/ Sorry to bother you all; but "Thanks Adam" for the swift response. I now have a proper config and an almost successful make. I will hack the latter somewhat before coming back to the list. Cheers All DD

2 1

Stupid newb can't "make -C l4 config" ..
by David Denny 26 Jul '03

26 Jul '03

Hullo L4 Stuck at an early fence:: usually I can overcome these things. make -C l4 config fails with /bin/sh: tempfile: command not found have been looking for it everywhere. seemingly part of Python, I have Python 2.2 and tbh my binutils is a bit lower than specified but I would have thought this insignificant. Google not much help either. Clean install of SuSE linux 8.0, kernel 2.4.18 Would seriously love to get this going as I have a little project that could go rather nicely on top of it, but am totally lost with this silly command. TIA David Denny

2 1

ANNOUNCE: L4Env version 0.1
by DROPS-Team 01 Jul '03

01 Jul '03

The DROPS team is happy to announce the first release of the L4Env programming environment. L4Env is a programming environment for application development on top of the L4 microkernel family. It is developed as a part of the Dresden Real-Time Operating System (DROPS). Prior to L4Env, most L4 applications had their very own idea about the environment (libraries, interfaces and so on) in which they were executed. Almost every programmer had his own set of libraries he used to build his applications, which resulted in huge problems if someone tried to combine components developed by different authors. Frequent problems were conflicting implementations of common functions (like printf) or conflicts caused by the lack of a central management of resources like threads or virtual memory. The intention of L4Env is to define a set of functions which describe a minimal environment. This minimal environment is available for every L4 application. Hence, all applications and especially all libraries can use these functions. Libraries which are intended to be used by many different applications should only use these functions to avoid dependencies to other libraries. L4Env also decreases the dependencies to a certain L4 API or hardware architecture, making applications more portable. L4Env is available under the GPL version 2 licence. For different licensing schemes please contact drops(a)os.inf.tu-dresden.de. Source distributions, documentation, and other online resources can be found on the L4Env website: http://os.inf.tu-dresden.de/l4env/ The DROPS Team Operating Systems Group University of Technology Dresden, Germany

5 7

Re: l4-hackers Digest, Vol 3, Issue 10
by Markkhudd＠aol.com 24 May '03

24 May '03

Hong Kong (1)

1 0

root task - debugging kernel
by Etienne Robillard 22 May '03

22 May '03

Hi, How do we define printf in ia32-v4 ? I see there is a print.cc implementation but it won't be used(?) for the linking stage even with "#define CONFIG_KDB y" and or "#define CONFIG_VERSION_X0 1" in $(OBJ)/config.h... Besides, kickstarting from grub (output to screen) does work until the "Launching kernel stage" ; then it freezes without warnings :-) my menu.lst looks like this : root (hd0,1,a) kernel= /boot/ia32-kernel module=/libexec/l4/kickstart module= /libexec/l4/sigma0 module= /libexec/l4/pingpong cya etienne ===== iD ______________________________________________________________________ Post your free ad now! http://personals.yahoo.ca

6 5