Really interesting project, I am familiar with Truebit and I see that you are bringing a full Linux OS to the table instead.
Could you explain the differences?