/* Copyright 2013 The ChromiumOS Authors
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 */

/**
 * See CONFIG_TASK_LIST in config.h for details.
 */
#define CONFIG_TEST_TASK_LIST \
  TASK_TEST(TMRA, task_timer, (void *)1234, TASK_STACK_SIZE) \
  TASK_TEST(TMRB, task_timer, (void *)5678, TASK_STACK_SIZE) \
  TASK_TEST(TMRC, task_timer, (void *)8462, TASK_STACK_SIZE) \
  TASK_TEST(TMRD, task_timer, (void *)3719, TASK_STACK_SIZE)