Re: L4 Pistachio: getting started guides / tutorials

Semion Prihodko <[email protected]> Tue, 29 Nov 2011 22:11:19 +0200
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <CAOLuvB1Gk8cQRkurwDiHmRA=Ygx1+2eizXZ+Q2B_F=QJU6FwTg@mail.gmail.com>
--0016e6546cf4f1df0804b2e53849
Content-Type: text/plain; charset=ISO-8859-1

Hi. Can someone explain me what Sigma0 server is for? As far as I know it
serves as a pager of root task and when a page fault occurs, it maps the
page to the physical page with a same address. Am I right? If so, why
should root task request pages if it can simply access them directly?
Furthermore, I need to implement my custom pager for non-privileged tasks
(sigma0 is not accessible for them, I hope), or the root task itself (for
example, if I need a persistent virtual memory). So why should I need
Sigma0? Does it mean I can implement my own Sigma0? Thanks.

--0016e6546cf4f1df0804b2e53849
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Hi. Can someone explain me what Sigma0 server is for? As far as I know it s=
erves as a pager of root task and when a page fault occurs, it maps the pag=
e to the physical page with a same address. Am I right? If so, why should r=
oot task request pages if it can simply access them directly? Furthermore, =
I need to implement my custom pager for non-privileged tasks (sigma0 is not=
 accessible for them, I hope), or the root task itself (for example, if I n=
eed a persistent virtual memory). So why should I need Sigma0? Does it mean=
 I can implement my own Sigma0? Thanks.

--0016e6546cf4f1df0804b2e53849--