You have to issue a serial port command to turn on higher level logging and debug functions ... In each case, for Linux, it needs to be Arduino.h. In addition, SerialDebug.cpp is lacking a ...