/* * SPDX-FileCopyrightText: 2023 Helmut Pozimski <helmut@pozimski.eu> * * SPDX-License-Identifier: GPL-2.0-only */ void alarm_task(void *pvParameters);