On: Ironclad – formally verified, real-time capable, Unix-like OS kernel

[notepad0x90]

I think wary would have been a better word, but I really did mean "weary", as in I would find the ordeal tiresome or bothersome? I wouldn't disagree if you said that's bad grammar still.