/**
 * List of enabled tasks in the priority order
 *
 * The first one has the lowest priority.
 */
#define CONFIG_TASK_LIST \
  TASK(BLINK, UserLedBlink, NULL) \
  TASK(CONSOLE, console_task, NULL) \
  TASK(TMRA, TaskTimer, (void *)1234) \
  TASK(TMRB, TaskTimer, (void *)5678) \
  TASK(TMRC, TaskTimer, (void *)8462) \
  TASK(TMRD, TaskTimer, (void *)3719) \
  TASK(HOSTCMD, host_command_task, NULL)\
  TASK(I8042CMD, i8042_command_task, NULL)