Do I need to write a custom loader? Or is it sufficient or better to write some script? Do you have examples lying around I could re-use? Cheers!
It seems that there is something like an SVD loader. But I don't have an SVD file with individual peripheral registers, only memory ranges. But I could have a look at the API they used.