@lakotaubp ok, though the Pipo W12 is a touch-screen device, basically a 12" tablet with optional (detachable) keyboard. The fact that it's a mobile architecture means the installer needs to do mobile-specific stuff. Dual boot is not really part of the question, and it's not difficult because the device has an ordinary BIOS that I can configure (F2 on splash).

I have a Pipo W12 tablet PC with a Snapdragon 850 CPU (armv8) running Windows 10, and I'm trying to install linux as a dual boot. The closest machine with linux support is the Lenovo Yoga 630 which has the same CPU but a different device tree. Installers for the Yoga 630 have the whole device tree in /boot, and it is specified in grub. So it seems like the Yoga 630 kernel might work on my Pipo if I can create a proper device tree.

Is there an easy way to generate a linux device tree (the dts file) based on a running instance of Windows? Unfortunately there is no way to run WSL-2 on the machine because it requires hardware virtualization support, which is not available on the Snapdragon 850. So I can't see the device tree from WSL-1 because it doesn't have its own kernel (only WSL-2 has a kernel).

If there is no tool to do this, how would I go about manually created the device tree, using my Windows desktop as a reference?