#ifndef FSFW_EXAMPLE_HOSTED_DEFINITIONS_H
#define FSFW_EXAMPLE_HOSTED_DEFINITIONS_H

#include <cstdint>

namespace cfg {
static constexpr uint32_t OBSW_MAX_SCHEDULED_TCS = 200;
}

#endif  // FSFW_EXAMPLE_HOSTED_DEFINITIONS_H