Considering going to Linux OS and wondering if Allegro will run on Linux... if so what Linux? Is this supported by Cadence?