From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <45E15BC1.2000303@domain.hid>
Date: Sun, 25 Feb 2007 10:49:53 +0100
From: Markus Franke <Markus.Franke@domain.hid>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: [Adeos-main] Scheduling of different domains in Adeos
Reply-To: Markus.Franke@domain.hid
List-Id: General discussion about Adeos <adeos-main.gna.org>
List-Unsubscribe: <https://mail.gna.org/listinfo/adeos-main>,
	<mailto:adeos-main-request@domain.hid>
List-Archive: </public/adeos-main>
List-Post: <mailto:adeos-main@gna.org>
List-Help: <mailto:adeos-main-request@domain.hid>
List-Subscribe: <https://mail.gna.org/listinfo/adeos-main>,
	<mailto:adeos-main-request@domain.hid>
To: adeos-main@gna.org

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?

Thanks for enlightment,

Markus Franke