Операционная система Trusty: надежность и производительность