// Copyright 2016-2026 XMOS LIMITED.
// This Software is subject to the terms of the XMOS Public Licence: Version 1.
#ifndef USER_TASK_H_
#define USER_TASK_H_

#include <xs1.h>
#include "control.h"

void user_task(server interface control i, chanend c);

#endif // USER_TASK_H_
