[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