He's not running a mathematically proven-correct, secure microkernel

rofl. You're fucking shit.

...

theres no proof for x86

I came.
then I came again.

Attached: awoogirl_local grill goes awoo.mp4 (1280x720, 652.34K)

Terry knows.

Attached: Terry_Davis_-_Where_It_All_Went_Wrong.webm (500x700 1.39 MB, 207.88K)

>sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf
Published in 2014, and linked to General Dynamics botnet rather than fully independent.

...

I hope you get colon cancer for posting that webm, niggerfaggot.

Instead of this autistic screeching, you could have simply provided an answer. I assume you don't have any.

Trash this thread.

Attached: trashman.png (150x200, 58.97K)