Jan Kiszka wrote:
> Scheduling takes place only based on the domain priority, each time a
> new asynchronous event (interrupt) arrives or a domain reports to be
> idle. There is no explicit source file or function called "scheduler",
> you will find its logic in the dispatching code of pipelined interrupts
> and in ipipe_suspend_domain().

As far as I understood, it is possible to run more than operating system
on top of Adeos, at a time. Adeos is said to be a resource
virtualization layer and the CPU is also a resource, which has to be
shared. But if there are more than one operating system, who decides
which one get's the CPU?
The question is out of scope of the interrupt virtualization. It's just
a question about CPU virtualization.

Please correct me if I missunderstood something totally. :-)


Regards,
Markus Franke