Tuxedo stellt Desktop-Ersatz-Notebook Gemini 17 vor Linux-Magazin Von:Ulrich Bantle 08. Dezember 2025 um 08:35 Tuxedo hat das Gemini 17 – Intel in der vierten Generation vorgestellt.