Tom replied to the topic 'Debian Raspberry PI desktop on mini PC' in the forum. 1 year ago

The easiest way to install dual boot is to install windows OS in the first place, then only install Linux alongside Windows. The Linux installation process will guide you through it. No need to worry much.

If you need a lightweight Linux system, Lubuntu or Xubuntu are good choices. Both also can support kstars. :)

I choose Kubuntu is because according to Jasem Kstars is develop on this Linux distro. :)