hi, what is the Static_object in fiasco kernel used for? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150421/81d6a0c8/attachment.html>