l4-hackers

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

2827 discussions

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

RE: None
by Volkmar Uhlig 21 May '03

21 May '03

> -----Original Message----- > From: Andreas Rottmann [mailto:a.rottmann@gmx.at] > Sent: Wednesday, May 21, 2003 8:27 PM > > I wonder why Pistachio needs VME, however. Maybe someone can give a > hint? The hint is that it is not needed right now. The check is going to be removed with the next revision. We just wanted to keep track of all the boch users (just kidding...) - Volkmar

1 0

Re: None
by Andreas Rottmann 21 May '03

21 May '03

Farid Hajji <farid.hajji(a)ob.kamp.net> writes: >> Many thanks for your help, I'm sorry if this seems dumb but I really am >> confused with all the different parts of l4ka and l4hurd. As soon as I >> get all of this working, I am going to put together a complete guide to >> setting up bochs with l4ka, combining all of the above resources. That's >> *if* I get it working, and understand why! > > You may want to try running L4Ka::Pistachio/x86 under the most recent > bochs. We're planning to implement l4hurd on top of Pistachio, not > Hazelnut. > I tried that, and FWICT, Pistachio needs the VME processor capapbility (virtual mode extensions, see http://x86.ddj.com/articles/vme1/vme_overview.htm), which bochs doesn't provide. here is the relevant code (pistachio/kernel/src/glue/v4-ia32/init.cc): --------------------- /** * checks the IA32 features (CPUID) to make sure the processor * has all necessary features */ static void SECTION(".init.cpu") check_cpu_features() { u32_t req_features = IA32_FEAT_FPU | IA32_FEAT_VME | IA32_FEAT_PSE; [...] if ((req_features & avail_features) != req_features) { printf("CPU does not support all features (%x) -- halting\n", req_features); ------- I wonder why Pistachio needs VME, however. Maybe someone can give a hint? Regards, Andy -- Andreas Rottmann | Rotty@ICQ | 118634484@ICQ | a.rottmann(a)gmx.at http://www.8ung.at/rotty | GnuPG Key: http://www.8ung.at/rotty/gpg.asc Fingerprint | DFB4 4EB4 78A4 5EEE 6219 F228 F92F CFC5 01FD 5B62 Make free software, not war!

2 1

(no subject)
by Yu Neil 19 May '03

19 May '03

hello: how we identify the sigma0 server in l4_threadid_t format ? ( the sigma0.id.* is what?) Neil Yu _________________________________________________________________ 免费下载 MSN Explorer: http://explorer.msn.com/lccn/

2 1

Jump to page:

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