[Docs] Exporting env variables through WSL (#327)

Adds a note about exporting the environment variables for the kernel, initrd and UEFI firmware through WSL.
microsoft · Nov 14, 2024 · b30c2e4 · b30c2e4
1 parent 482527a
commit b30c2e4
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Guide/src/dev_guide/getting_started/suggested_dev_env.md b/Guide/src/dev_guide/getting_started/suggested_dev_env.md
@@ -333,6 +333,13 @@ You can then run the windows version of OpenVMM by running:
 cargo winrun
 ```
 
+OpenVMM configures some environment variables that specify the default Linux kernel,
+initrd, and UEFI firmware. To make those variables available in Windows, run the following:
+
+```bash
+export WSLENV=$WSLENV:X86_64_OPENVMM_LINUX_DIRECT_KERNEL:X86_64_OPENVMM_LINUX_DIRECT_INITRD:AARCH64_OPENVMM_LINUX_DIRECT_KERNEL:AARCH64_OPENVMM_LINUX_DIRECT_INITRD:X86_64_OPENVMM_UEFI_FIRMWARE:AARCH64_OPENVMM_UEFI_FIRMWARE
+```
+
 ### Speeding up Windows OpenVMM launch
 
 Due to filesystem limitations on WSL, launching OpenVMM directly will be somewhat