Number of threads

The POK_CONFIG_NB_THREADS maccro specifies the number of threads in the system. This represents how many threads can be handled in the kernel.

The values must be computed like this : number of threads in your system + 2. In fact, in this maccro, you must add 2 additional threads : the kernel thread and the idle thread.