Bugreport

Frank Mehnert fm3 at os.inf.tu-dresden.de
Tue Sep 24 11:14:47 CEST 2002


On Tuesday 24 September 2002 10:40, Alexey Mandrookin wrote:

> From: "Adam Lackorzynski" <adam at os.inf.tu-dresden.de>
>
> > On Mon Sep 23, 2002 at 01:06:56 +0000, Alexey Mandrookin wrote:
> > > I found strange behaviour of l4_i386_ipc_wait().
> > > In case of interrupt IPC, it return wrong value
> > > of the thread id of IPC source.
> >
> > You're waiting for a specific interrupt, how useful it is to know the
> > "source" if you already have the dest id (this specific interrupt)?
>
> Due to synchronous style of micro kernel, it is very useful to know IPC
> source.

Right. Should be fixed now in Fiasco, try 

  cvs update

in fiasco/src.

Thanks for the reporting this bug.

Please report further bugreports regarding Fiasco to

  fiasco-bugs at os.inf.tu-dresden.de

Frank
-- 
Frank Mehnert
## Dept. of Computer Science, Dresden University of Technology, Germany ##
## E-Mail: fm3 at os.inf.tu-dresden.de    http://os.inf.tu-dresden.de/~fm3 ##




More information about the l4-hackers mailing list