Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
Beschleunigung der Abfrage des Knopfdruckpins am Arduino
Google spuckt aus das Dein Arduino veraltet ist, evtl. mal alle Bibliotheken & Boardverwalter updaten, oder neuinstallieren. Alternativ kannst Du auch wieder hardcoded "attachInterrupt(BUTTON1, Button1, LOW);" einsetzen.
Die Funktion digitalPinToInterrupt() sorgt dafür das egal welches Board Du verwendest auch der richtige Interrupt angesprochen wird. Siehe auch -> Arduino Reference attachInterrupt()
@LinuxWindows Das tut nichts zu Sache. Arduino ist Open Hardware und jeder kann ein Board bauen. Deswegen hast du trotzdem den gleichen Microcontroller auf deinem Board wie ein Original Arduino Board und somit macht das Macro digitalPinToInterrupt() auch genau das gleiche wie auf einem Original Arduino Board.
Deine Arduino IDE musst du trotzdem auf dem neusten Stand halten, ganz egal welches Board du verwendest.
Schonmal "sudo apt-get update && sudo apt-get upgrade" auf dem Pi versucht um ihn auf den neusten Stand zu bringen? Ansonsten wie zuvor geschrieben nimm eben "attachInterrupt(BUTTON1, Button1, LOW);"
Doch, das geht. Entweder so wie @lynxx gesagt hat, möglicherweise ist aber das Package nicht aktuell.
In dem Fall kannst den aktuellsten Installer direkt von der Arduino Seite laden: https://www.arduino.cc/en/Main/Software
Linux ARM, ist das was du willst.