Oleg Hahm 983d056c75 core: harmonizes the data type for the process ID ...

Instead of using differing integer types use kernel_pid_t for process
identifier. This type is introduced in a new header file to avoid
circular dependencies.

2014-08-01 12:02:54 +02:00

..

main.c

core: harmonizes the data type for the process ID

2014-08-01 12:02:54 +02:00

Makefile

tests: fix APPLICATION name

2014-07-31 07:34:11 +02:00