diff --git a/VM/CAmkESARMVM.md b/VM/CAmkESARMVM.md
index 15e18104c0..b39b967299 100644
--- a/VM/CAmkESARMVM.md
+++ b/VM/CAmkESARMVM.md
@@ -23,3 +23,26 @@ bootelf
 ## Notes
  The default setup does not pass though many devices to the Linux kernel. If you `make menuconfig` you can set `insecure` mode in the `Applications` submenu; this is meant to pass through all devices, but not
 everything has been tested and confirmed to work yet. In particular, the SMMU needs to have extra entries added for any DMA-capable devices such as SATA.
+
+## Creating a guest Linux
+
+Running Linux as a guest on seL4 requires constructing an image and initial file system for the specific platform you are targetting.
+
+1. Download buildroot https://buildroot.org/
+```
+cd buildroot
+```
+2. If you are lucky there is an existing config for your platform. Type `make list-defconfigs` to see existing configs.
+```
+make list-defconfigs` # view all existing configs
+```
+For example, for the imx8mq-evk platform, we used the `freescale_imx8mqevk_defconfig`.
+```bash
+make freescale_imx8mqevk_defconfig # configure build root to create that config
+```
+Otherwise you need to manually create a config for your platform.
+3. Build the buildroot
+```make```
+4. Wait for it to build (< 1h)
+5. To be continued... 
+