Instrumentation

You can automatically instrument POK using the -with-instrumentation option when you configure the build-system (see section 3.3 for more information. In consequence, when you use this mode, more output is produced and additional files are automatically created when the system stops. This section details the files that are automatically produced in this mode and how to use them.