// Copyright (c) 2017-2020, Mudita Sp. z.o.o. All rights reserved.
// For licensing, see https://github.com/mudita/MuditaOS/LICENSE.md

#include <stdint.h>

void vConfigureTimerForRunTimeStats(void)
{
}

uint32_t ulHighFrequencyTimerTicks(void)
{
	return 0;
}