This is your work, valued
Tonex-Linux-Fix. Fix and configure IK Multimedia ToneX Pedal as a USB audio interface on Linux
