diff --git a/documentation/dev-manual/figures/kernel-overview-1.png b/documentation/dev-manual/figures/kernel-overview-1.png
new file mode 100644
index 0000000000..116c0b9bd4
Binary files /dev/null and b/documentation/dev-manual/figures/kernel-overview-1.png differ
diff --git a/documentation/dev-manual/figures/kernel-overview-2.png b/documentation/dev-manual/figures/kernel-overview-2.png
new file mode 100644
index 0000000000..5fee847c66
Binary files /dev/null and b/documentation/dev-manual/figures/kernel-overview-2.png differ
diff --git a/documentation/dev-manual/figures/kernel-overview-3.png b/documentation/dev-manual/figures/kernel-overview-3.png
new file mode 100644
index 0000000000..e7637e5ba7
Binary files /dev/null and b/documentation/dev-manual/figures/kernel-overview-3.png differ