if CONFIG_SCHED_TICKLESS is defined, then the global variable g_system_timer does not exist.
parent
a1ae9d36
Please register or sign in to comment
Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.