Default run on WSL doesn't work - can't find kernel

[mattkur]

cargo run --target x86_64-pc-windows-msvc can't find the linux direct or initrd kernel, while the docs claim it should.

You can work around this by doing something like this:

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

but, the guide (and setup scripts?) should help.