[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Subsystem booting
From: |
Volkmar Uhlig |
Subject: |
RE: Subsystem booting |
Date: |
Mon, 26 May 2003 01:38:04 +0200 |
> -----Original Message-----
> From: Marcus Brinkmann [mailto:address@hidden
> Sent: Sunday, May 25, 2003 5:58 PM
>
> > BTW, I spent the afternoon rereading the L4 spec. Section 7.7 says
> > that the kernel can start three special tasks: sigma0,
> > sigma1, and the root server. The current kickstart.cc never
> > loads any sigma1, and the spec doesn't say much more about it.
> > So what is sigma1 supposed to do?
>
> I don't know.
Sigma1 is supposed to be the TCB pager allowing to implement persistent
systems. Have a look at http://l4ka.org/projects/persistence.
- Volkmar