How Trustworthy Is Your OS?