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?