diff options
Diffstat (limited to 'src/include/kernel/taskmgr.H')
| -rw-r--r-- | src/include/kernel/taskmgr.H | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/include/kernel/taskmgr.H b/src/include/kernel/taskmgr.H index 3cf036f37..b34a1d3b1 100644 --- a/src/include/kernel/taskmgr.H +++ b/src/include/kernel/taskmgr.H @@ -3,6 +3,7 @@ #include <kernel/types.h> #include <util/lockfree/counter.H> +#include <kernel/vmmmgr.H> class TaskManager { @@ -21,7 +22,8 @@ class TaskManager static task_t* createIdleTask(); private: - tid_t getNextTid() { return iv_nextTid.next(); }; + tid_t getNextTid() + { return iv_nextTid.next() + VmmManager::FirstPid; }; Util::Lockfree::Counter<tid_t> iv_nextTid; static void idleTaskLoop(void*); |
