Harald Fritzsche harald.fritzsche@mpd.de writes:
Hello,
Jean Wolter schrieb:
Harald Fritzsche Harald.Fritzsche@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