Other resource kinds
--------------------
This section contains some sparse examples of how to use the other
-kind of resources, such as disk or GPU. These resources are quite
+kind of resources, such as disk. These resources are quite
experimental for now, but here we go anyway.
* io/file.c Example with the disk resource
- * gpu/test_MSG_gpu_task_create.c Example of use of the very
- experimental (for now) GPU resource.
Trace driven simulations
========================
