When signing OP-TEE pager and pageable binaries, the information written to the BinaryType field of the STM32 header (byte 255), unless I have wrong view about semantics (teex->pager, teed->pageable) and typical values (pager->0x21, pageable->0x22), is erroneous.
Signing tool command `--type teed` writes 0x21 and `--type teex` 0x22, while 0x22 and 0x21 are expected respectively.
e.g., signing OP-TEE pageable binary
Regards,
Otto
