tree 0db025e292c61535575c0dbfbb7c727ec04d24cd
parent 6f70f4d0242707943e57eb67f695e6798d633e05
author Zack Williams <zdw@opennetworking.org> 1629871487 -0700
committer Zack Williams <zdw@opennetworking.org> 1646094197 -0700

Add additional OS installer images

- Debian 11, Ubuntu 20.04, and OpenBSD 7.0 images
  - Menu is too long, so added pxeboot_boot_images list to determine
    which images to download/include in menu
- Update versions and checksums downloaded for existing images, and use
  version specific paths where applicable.
- Update boot parameters to better support EFI booting
- Update galaxy metadata

Change-Id: Iab6d4385489458ff0e4491c4b1de544b442c2622