我正在用debian的arduino的.deb包工作linux，所以我可以在下面找到HardwareSerial：
/usr/share/arduino/hardware/arduino/cores/arduino/HardwareSerial.h
但是我有兴趣找到Serial定义和/或实现，这应该不仅仅是typedef或using，因为在HardwareSerial类begin中不是static您可以写一下：Serial.begin(9600);。
所以有些人知道Mr Serial在哪里？