RPI: add HardwareSetupRPI

Author: pschatzmann

ArduinoCore-Linux/cores/arduino/Arduino.h

@@ -39,8 +39,10 @@
 #include "ArduinoAPI.h"
 #include "ArdStdio.h"
 #include "ArduinoLogger.h"
-#include "HardwareSetup.h"
 #include "Serial.h"
 #include "RemoteSerial.h"
-
+#include "HardwareSetup.h"
+#ifdef USE_RPI
+#  include "HardwareSetupRPI.h"
+#endif
 using namespace arduino;

ArduinoCore-Linux/cores/rasperry_pi/HardwareSetupRPI.h

@@ -5,6 +5,8 @@
 #include "HardwareI2C_RPI.h"
 #include "HardwareSPI_RPI.h"
 
+namespace arduino {
+
 /**
  * @class HardwareSetupRPI
  * @brief Sets up hardware interfaces for Raspberry Pi (GPIO, I2C, SPI).
@@ -61,4 +63,6 @@ class HardwareSetupRPI {
  */
 static HardwareSetupRPI RPI;
 
+}  // namespace arduino
+
 #endif

examples/raspberry_pi/blink/blink.ino

@@ -3,6 +3,7 @@
 int LED_BUILTIN = 13; // Define the built-in LED pin (usually pin 13 on Arduino boards)
 
 void setup() {
+  Serial.begin(115200); // Start serial communication at 115200 baud
   pinMode(LED_BUILTIN, OUTPUT); // Initialize the LED pin as output
 }