How many tasks can be started?

[Daniel Vandersee]

Hi there,

can you tell me how many Tasks can be started from L4? As the task id
has 11 bit, the theoretical maximum seems to be 2048, but if I configure
simple_ts to use 246 tasks, I can't create a new task without using
simple_ts (I use rmgr_get_task and rmgr_task_new). In this case the
first free task number is 256. The task creation via rmgr_task_new seems
to work (a valid task id is returned), but it seems that I can't serve
the first page fault. If I serve it with an fpage, I immediately get the
same page fault again and again. With simple_ts configured to 245 tasks
everything works fine.

Regards,
Daniel