diff --git a/ic-os/docs/Configuration.adoc b/ic-os/docs/Configuration.adoc
index 92f6db139ee..8b342381e14 100644
--- a/ic-os/docs/Configuration.adoc
+++ b/ic-os/docs/Configuration.adoc
@@ -2,10 +2,12 @@
 
 Each IC-OS has a 100 MB config partition. All IC-OS config partitions are initialized to be empty, except for SetupOS.
 
-In production, the GuestOS config partition is populated through a series of steps:
+In production, configuration is propagated from a partition on the USB installer through each of SetupOS, HostOS and GuestOS:
 
-1. SetupOS copies its configuration files to the HostOS config partition.
-2. The HostOS configuration files are used to populate the GuestOS config partition through a more complicated process described below.
+# SetupOS reads and validates the config from `/config/`
+# SetupOS copies the configuration files to `/var/ic/config/`
+# SetupOS copies the configuration files to the HostOS config partition.
+# HostOS reads the configuration from `/boot/config`. These files are used to populate the GuestOS config partition through a more complicated process described below.
 
 == Detailed configuration steps