Платформа Arduino Due для установки в школах и библиотеках

Я сделал специально разработанное оборудование для нашей школы, куда можно подключить Arduino Due. Оно в основном предназначено для управления всеми типами двигателей и считывания сигналов датчиков. Поэтому я добавил в board.h специальную плату SAM на основе копии Arduino Due. Кроме того, мне нужна глобальная частота ШИМ на всех каналах ШИМ 20 кГц. Поэтому я также изменил файл variations.h.

(Я не нашел решения, которое устанавливает все нижележащие таймеры/счетчики для ШИМ на выводах Due 2, 3, 4, 5, 6, 7, 8, 13 на 20 кГц с помощью пользовательского кода, я думаю, что это возможно только с файлом variations.h - потому что некоторые таймеры не могут быть сброшены после того, как они были однажды установлены в среде Arduino IDE)

Теперь вопрос: Сегодня всем студентам приходится находить и изменять свой файл variations.h, который может находиться практически где угодно! (Иногда он находится в пакетах поддержки Matlab...).

Есть ли простое решение предоставить студентам один .zip-файл, содержащий Arduino IDE, уже с включенной пользовательской платой? На сайте Arduino есть работающая без установки среда разработки Arduino IDE для скачивания. Но как мне добавить в нее свою собственную плату SAM?