Raspbian, das auf Debian basierende Standard-Betriebssystem für den Raspberry Pi, ist in Version 2019-04-09 vorwiegend mit Aktualisierungen erschienen. Dabei wurde auch die Geschwindigkeit der meist für Spiele eingesetzten SDL-Bibliothek verbessert.
Quelle: https://www.pro-linux.de/news/…19-04-09-freigegeben.html