3 ms·Why don't they write the rest of the OS in this guaranteed bugfree way too?by tedunangst 3y agoWhy don't they write the rest of the OS in this guaranteed bugfree way too?