Hello NXP Team,
I’m testing Basic Secure Boot on S32K344. I have extended the sample image S32K344_SecureBootBlinky.bin (AppBootHeader + App) to 0x40 + 0x1000 bytes. I’m trying to write a PC-side GMAC calculation tool so that the tag I compute matches what HSE produces, but so far I cannot obtain the same GMAC tag as HSE.
Could you please provide a PC-side reference implementation (any language is fine; C or Python would be ideal) that reproduces the HSE GMAC for Basic Secure Boot?
Because I cannot share my actual IV and ADKP, please feel free to choose arbitrary test values. A minimal package with:
Short test payload (binary),
Example ADKP (16 bytes) and the exact key derivation used by Basic Secure Boot,
IV (12 bytes),
Expected GMAC tag (16 bytes),
And the required image layout (including where/how to place IV and tag at the end)
would be perfect.
Attachment: my extended S32K344_SecureBootBlinky binary (AppBootHeader + App = 0x40 + 0x1000).
If there is already an official PC-side example or a validated test vector for S32K344 Basic Secure Boot, a link or zip would be greatly appreciated.
Thank you for your support!