@Laukidh@infosec.exchange @0xabad1dea@infosec.exchange Same with the Jaguar, IIRC they named the two 32-bit chips “Tom” and “Jerry”