user_loop.c

/*
 * Copyright (C) 2013-2026 Frederic Weisbecker
 * Copyright (C) 2024-2026 Marco Crivellari
 * SPDX-License-Identifier: GPL-3.0-or-later
 */

int main(void)
{
	while (1);


	return 0;
}