Hi,
I am trying to use Rust with a Xilinx Zync (ARMv8 CPU coupled to an FPGA). This is not bare metal since the CPU is running PetaLinux (and I cannot change that since I need to use some Xilinx libraries). 
Contrary to a usual MCU, the use of hardware registers is not fixed by the manufacturer but depends on the bitstream loaded in the FPGA. As a consequence, I do not have an SVD file to build upon and I am wondering what is the best course of action to benefit from the rust type system as described in the embedded book? The book discuss general consideration but basically say: don't do it yourself use svd2rust which does not help me.
I am interested in any resource and I apologize if this is not the appropriate forum.