#include <hwo/systick.h>

uint32_t systick_secs(void)
{
	return _systick_secs;
};