How to convert an EXR image sequence into an HDR10 video?

I have a sequence of HDR images in EXR format which are in BT.2020 colorspace. The end goal is to play the video on an HDR10 capable device through a USB stick.
Thanks.
Thanks.
https://forum.blackmagicdesign.com/
https://forum.blackmagicdesign.com/viewtopic.php?f=21&t=80915