Index: kernel/generic/include/ps/taskinfo.h
===================================================================
--- kernel/generic/include/ps/taskinfo.h	(revision 62550dcebaf6572f33fa63e95f98ecc3f61f4cec)
+++ kernel/generic/include/ps/taskinfo.h	(revision 8b2aba5de6bd93e79e9074feaa8fd2e761c9b3da)
@@ -46,4 +46,5 @@
 
 typedef struct {
+	task_id_t taskid;
 	char name[TASK_NAME_BUFLEN];
 	size_t pages;