Markus Franke wrote: > Dear Adeos Developers/Users, > > while I was reading some papers about Adeos I was wondering how > scheduling is done with Adeos, if there are several domains (e.g. each > is an own operating system) working on top of it. Is there some kind of > a master-scheduler which selects the domain which is allowed to run next > based on a static priority? >
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(). Jan
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Adeos-main mailing list [email protected] https://mail.gna.org/listinfo/adeos-main
