[jtgans]

TL from the project here: yeah, I should have done more work on the wording -- we locked the content too fast, and I pushed a tad too hard at getting the post out. :P

Side-channel attacks are out of scope for the security model of both seL4 and our KataOS project, so bear that in mind for sure.

[ArtWomb]

XMAS comes early as far as I'm concerned... A rust os & risc-v implementation is sorely needed & I expect to begin experimenting on private cloud frankenwulfs immediately. I can see why you rushed, this in my humble opinion is bigger than the release of the go programming lang ;)

[schelling42]

Thank you very much for putting all the effort into this project. It is a great step towards more secure computing in general, and you earned respect for that.