Thanks for your concern.
I use a config file specific for the k8400 that came with the firmware. That I, step by step customised, and tried after each change.
At the moment I run it with the TMC2130 features turned off for obvious reasons
But the drivers are installed and are running
The reason I chose to edit the pins_RAMPS.h is that it is included in the pins_K8400.h file.
And the chip select pin definitions are not present in pins_K8400.h.
So to make things a bit easier I’ll try to edit pins_RAMPS.h since those settings will be implemented.
I will of course be cautious, and take things one step at a time.