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
Right. Should be fixed now in Fiasco, try
Thanks for the reporting this bug.
Please report further bugreports regarding Fiasco to
fiasco-bugs at os.inf.tu-dresden.de
## 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