Sigma1

"Luke A. Guest" <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]> 
Hi,

I've just started to look at L4 and I'm using L4ka::Pistachio as a
starting point. I'm trying to read as much as possible and have found a
reference to sigma1, but no docs on it. Can anyone elaborate on what
this is for?

Thanks,
Luke.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.