#include <mission/utility/trace.h>

#include "fsfw/serviceinterface.h"

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