/**
 * @file
 * @brief
 *
 * @author  Anton Kozlov
 * @date    26.08.2014
 */

#ifndef KERNEL_THREAD_COMMON_TYPES_H_
#define KERNEL_THREAD_COMMON_TYPES_H_

/**
 * Every thread can be identified using a number which is unique across the
 * system.
 */
typedef int thread_id_t;

#endif /* KERNEL_THREAD_COMMON_TYPES_H_ */
