Installing Debian On HP Dev One

This there a pdf that clearly explains how to load Debian ove Pop-OS on a HP Dev One? I hit F9 and select boot from USB drive and than get stuck in grub. I never have had this issue on Desktops installing Debian from a USB stick.