Index: generic/src/proc/task.c
===================================================================
--- generic/src/proc/task.c	(revision 5f62ef99a9c5aa3020510303c82ab8fcbfa0b83b)
+++ generic/src/proc/task.c	(revision 8965838eae5fdc203fd5d307b7fa1d1b65804123)
@@ -45,4 +45,5 @@
 SPINLOCK_INITIALIZE(tasks_lock);
 LIST_INITIALIZE(tasks_head);
+static task_id_t task_counter = 0;
 
 /** Initialize tasks
@@ -86,5 +87,8 @@
 	ipl = interrupts_disable();
 	spinlock_lock(&tasks_lock);
+
+	ta->taskid = ++task_counter;
 	list_append(&ta->tasks_link, &tasks_head);
+
 	spinlock_unlock(&tasks_lock);
 	interrupts_restore(ipl);