The tee_properties library implements TEE Internal Core API Property Accessor functionality. It introduces a json format for property files, and offers the ability to read property values and interpret them according to TEE Internal Core API spec, including error types.