/* SPDX-License-Identifier: GPL-3.0-or-later */
/* Copyright © 2016-2024 Byteduck */

#include "ARMTimer.h"

ARMTimer::ARMTimer(TimeManager* manager) : TimeKeeper(manager) {

}

int ARMTimer::frequency() {
	return 0;
}

void ARMTimer::enable() {

}

void ARMTimer::disable() {

}
