Separate names with a comma.
Thanks, @Nikolai2, for your procedure for getting an guest OS installed by manual process. I was able to install the Debian ARM64 desktop OS...