Yep, mais Atari n'avait pas apprécié que le kit tourne sur un Amiga (un peu logique, en même temps ), et ils avaient grossièrement "déguisé" les machines pour cacher la marque :

Je ne me souviens plus des dates exactes, mais un jour, longtemps avant la sortie officielle de la Jaguar, je me rend avec Rodolphe chez Atari France. Là, on nous fait penetrer dans un hangar, et sur une table, juste à coté d'un système de développement Lynx (un Amiga 2000 dont les gars chez Atari avait ôté le logo pour le remplacer par "Lynx Development System", on savait rire chez Atari), se trouvait un prototype de Jaguar.

(source)