L4-Linux

[Jean Wolter]

Harald Fritzsche <harald.fritzsche at mpd.de> writes:

> 
> Hello,
> 
> Jean Wolter schrieb:
> 
> > Harald Fritzsche <Harald.Fritzsche at mpd.de> writes:
> >
> > Thanks for reporting this. Since L4/Intel never used the value of
> > 'external preempter' we (at least I) have not seen this 'error'.
> >
> 
> L4 or L4Linux does not use external preempters?

No, since there is currently no implementation of this concept. There
are some problems with clans&chiefs if you handle 'time slice faults'
(preemption) via ipc. I don't know whether fiasco will provide the
first implementation for external preempters, at least we are thinking
about it.

> That is that what i see: Hmm, strange, ...It seems that i was
> misunderstanding this.

Actually there some more misleading debug messages (for instance
'sigma0 denies mapping of ...') which have to be cleaned up some day
:) 

Jean
-- 
I get up each morning, gather my wits.
Pick up the paper, read the obits.
if I'm not there I know I'm not dead.
So I eat a good breakfast and go back to bed. Peete Seeger