*** UEFI Shell v2.2, release 23H1 ***

This bootable image contains builds of the official UEFI Shell, as provided by
the Open Source 'EDK2' project (https://github.com/tianocore/edk2).

More specifically, this release, which we call '23H1', was produced using the
'edk2-stable202305' version of the EDK2 source available at:
https://github.com/tianocore/edk2/releases/tag/edk2-stable202305

This image supports the following UEFI platform architectures:
* X64
* IA32
* AARCH64
* ARM
* RISCV64

For more information on how this release was produced, you are invited to
visit our official project page at https://github.com/pbatard/UEFI-Shell,
where you can also validate that all of the binaries contained in this image
were built from the unmodified EDK2 source, through an automated build process
that guarantees that no malicious code can have been injected.
