NB These instructions are out of date since the release of Debian 11 (Bullseye). Some parts of these guide will need to be updated to the new Debian release.
Get the Installer Images
NB Instead of vmlinuz and initrd.gz as the filenames you should use filenames that include the
debian version and architecture (e.g. call vmlinuz debian-10.6.0-armhf-vmlinuz).
Get [Debian Buster armhf kernel](https://deb.debian.org/debian/dists/buster/main/installer-armhf/20190702+deb10u6/images/cdrom/vmlinuz)
Get [Debian Buster armhf initrd](https://deb.debian.org/debian/dists/buster/main/installer-armhf/20190702+deb10u6/images/cdrom/initrd.gz)
Get [Debian Buster armhf CD#1 image](https://mirror.csclub.uwaterloo.ca/debian-cd/10.6.0/armhf/iso-cd/debian-10.6.0-armhf-xfce-CD-1.iso) Buster is no longer available for download; for the current version of Debian see https://cdimage.debian.org/debian-cd/current/armhf/iso-cd/. The instructions in this article have not yet been updated for Bullseye, however.
Subsequent instructions assume you have the renamed files in /home/user/Downloads.
Create and Use the Images
Boot at Will
Your UEFI ARM Hard Float Virtual Machine is now ready for use.
Credit for cover illustration, Kalhh on Pixabay.