Digistump AVR Boards (Digispark) für die Arduino IDE ergänzen für ATTINY85 und Raspberry Pi

Wie können die Menü Einträge, für die Digispark AVR Boards in der Arduino IDE ergänzt werden? Evl. fehlen diese Einträge im Menü: „Werkzeuge – Board

Dann in dem Menü: „Arduino – Einstellungen“ auf den Button „Zusätliche Boardverwalter-URLs“ klicken und die folgende URL ergänzen:

URL:

Nun noch unter dem Menüeintrag: „Werkzeuge – Board – Board Verwalter …“ den Digistump AVR Boards auswählen und installieren:

Schon sind die Menüeinträge vorhanden. Dann kann der ATTINY85 ja geflasht werden.

ATTINY85 General Micro USB Development Board für Arduino und Raspberry Pi

Für 1,28 Euro inkl. versand aus China eingetroffen …

… und von hinten:

Hier ein paar tech. Daten vom Anbieter.

Dann mal an dem Raspberry Pi anschließen, aber nicht mehr heute. Oder andere Ideen?