- l4-hackers - example.com Site

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