On Tuesday 24 September 2002 10:40, Alexey Mandrookin wrote:
From: "Adam Lackorzynski" adam@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@os.inf.tu-dresden.de
Frank