Miguel Young
Miguel Young
Note: this CL is layered on top of #133. Unit tests and a `manifest::owned` implementation still pending.
This type is analogous to a similar class of manager types in the Microsoft C implementation, whose primary purpose is to perform the necessary checks for activating a manifest. Right...
`self_update::UpdateStatus` is the status codes defined by the Cerberus spec; before being able to move this further we need to work out some details around the firmware image format, and...
Right now, they're just raw bytes. We aught to make it possible to specify them as explicitly as enumeration values or similar.
These are defined in sections 6.22 and 6.23 of the Challenge Protocol Specification. Implementing support for them in the PA-RoT server is pending on #43, but implementing the message parsing...
Currently, some tests have `#[cfg_attr(miri, ignore)]` because they call into *ring* which calls into some assembly. The best way to deal with this is probably to mock out all of...
The `debug` module is intended to hold debugging helpers, to make debugging Manticore tests easier. This includes: - Redactable logging. - Error creation capture (e.g., capturing where `Err` variants are...
We'd like to test our parser on the same blobs that Microsoft uses, rather than just generating blobs on the fly. Doing this requires full conformance with their format though,...