Comment by jockm

Can you back that up? It supports `os_task_create()`, `ps`, `top`, and the default for `MAX_TASKS` is 8.