Index: kernel/generic/include/ipc/event_types.h
===================================================================
--- kernel/generic/include/ipc/event_types.h	(revision 8add9ca54eed14da25f4bda28ab137bf14388de8)
+++ kernel/generic/include/ipc/event_types.h	(revision 197ef439432e5ec201ee81b9fedffd317f1b69c9)
@@ -41,5 +41,5 @@
 	/** Returning from kernel console to userspace */
 	EVENT_KCONSOLE,
-	/** A thread has faulted and will be terminated */
+	/** A task/thread has faulted and will be terminated */
 	EVENT_FAULT,
 	EVENT_END