[seL4] Apologies

Hello, After some introspection, I sincerely apologise for my rude reply yesterday. I was tired and put off balance by all the discrepancies. I thought the message was a stupid prank by students or something and acted accordingly. Even so, that does not excuse my behaviour. I should have sent a polite private inquiry instead. I told Marc that to make up for it I will answer any technical questions he may have. Sorry for the noise, Indan