mbed-os/features/frameworks/greentea-client/greentea-client/greentea_serial.h

#ifndef GREENTEA_SERIAL_H
#define GREENTEA_SERIAL_H

#include "RawSerial.h"
#include "SingletonPtr.h"

class GreenteaSerial : public mbed::RawSerial {
public:
    GreenteaSerial();
};

extern SingletonPtr<GreenteaSerial> greentea_serial;
#endif