#include "trace.h"

#include "fsfw/serviceinterface.h"

void trace::threadTrace(uint32_t& counter, const char* name) {
  counter++;
  if (counter % 5 == 0) {
    sif::debug << name << " running" << std::endl;
  }
}