diff --git a/cores/arduino/HardwareSerial.cpp b/cores/arduino/HardwareSerial.cpp
index 09f8f4f4f0..9f24275905 100644
--- a/cores/arduino/HardwareSerial.cpp
+++ b/cores/arduino/HardwareSerial.cpp
@@ -138,6 +138,13 @@ void serialEventRun(void)
 }
 
 // Constructors ////////////////////////////////////////////////////////////////
+HardwareSerial::HardwareSerial(uint32_t _rx, uint32_t _tx)
+{
+  _serial.pin_rx = digitalPinToPinName(_rx);
+  _serial.pin_tx = digitalPinToPinName(_tx);
+  init();
+}
+
 HardwareSerial::HardwareSerial(PinName _rx, PinName _tx)
 {
   _serial.pin_rx = _rx;
diff --git a/cores/arduino/HardwareSerial.h b/cores/arduino/HardwareSerial.h
index d945dda495..81a48add5f 100644
--- a/cores/arduino/HardwareSerial.h
+++ b/cores/arduino/HardwareSerial.h
@@ -101,6 +101,7 @@ class HardwareSerial : public Stream
     serial_t _serial;
 
   public:
+    HardwareSerial(uint32_t _rx, uint32_t _tx);
     HardwareSerial(PinName _rx, PinName _tx);
     HardwareSerial(void* peripheral);
     void begin(unsigned long baud) { begin(baud, SERIAL_8N1); }