DRTLS raspbian for 64-bit

Hello,
I am currently using the MDEK1001 kit and need to run 64-bit executables on the Raspberry Pi, but the current DRTLS image is 32-bit.
Is there a 64-bit version of the DRTLS raspbian image available?
If not, is a 64-bit version planned?
Thanks in advance.

Hi @Peter95
sorry, there is no 64bit image of the DRTLS raspbian available and there is no plan for creating 64bit image.

Cheers
JK