- l4-hackers - example.com Site

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 29 Jul '03

29 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