diff --git a/documentation/dev-manual/figures/kernel-example-repos.png b/documentation/dev-manual/figures/kernel-example-repos.png
new file mode 100644
index 0000000000..8d4815e179
Binary files /dev/null and b/documentation/dev-manual/figures/kernel-example-repos.png differ