/*
 * trax_isr_tid.h
 *
 *  Created on: Aug 15, 2026
 *      Author: bemre
 */

#ifndef INC_TRAX_ISR_TID_H_
#define INC_TRAX_ISR_TID_H_

#include <trax.h>

enum trax_isr_tid_t{
	TRAX_ISR_PWM_RED = TRAX_TID_RANGE_ISR_USER_START,
};

TRAX_ISR_DEFINE(TRAX_ISR_PWM_RED, "PWM Red 20kHz", 3);

#endif /* INC_TRAX_ISR_TID_H_ */
