Kernel tools

This book covers user-space tools that are shipped with the kernel source; more additions are needed here:

• The realtime Linux analysis tool
• Runtime verification (rv) tool