Re: A comment about changing kernels

[Bernhard Kauer]

> It really was a bug, and it has nothing to do with the IPC path,

That's correct, it was a bug in the interrupt handler.


> The correct behavior was to save the segment selectors, and this adds
> about 20 cycles to the path.

I do not see a problem, if the IPC set the segment registers to default
values. See it as output values of this syscall.

Shortly spoken: a syscall can change every user register, an interrupt
has to change none of them.

    Bernhard