Dear Tom, The following changes since commit 78f67f11a9920ef988cbff5341616695c3e87ebd:
Merge branch 'rpi-2023.04' of https://source.denx.de/u-boot/custodians/u-boot-raspberrypi (2023-03-24 17:00:41 -0400) are available in the Git repository at: https://source.denx.de/u-boot/custodians/u-boot-efi.git tags/efi-2023.04-rc5 for you to fetch changes up to 180b7118bed8433f9cfe4b5ad62c6b0d901924f5: efi_loader: fix device-path for USB devices (2023-03-25 10:43:50 +0100) Gitlab CI showed no issues: https://source.denx.de/u-boot/custodians/u-boot-efi/-/pipelines/15733 ---------------------------------------------------------------- Pull request for efi-2023.04-rc5 UEFI: * Create unique device paths for USB devices with the same vendor and product id. ---------------------------------------------------------------- Heinrich Schuchardt (2): efi_loader: support for Ctrl() device path node efi_loader: fix device-path for USB devices include/efi_api.h | 6 +++++ lib/efi_loader/efi_device_path.c | 45 +++++++++++++++++++++++--------- lib/efi_loader/efi_device_path_to_text.c | 7 +++++ 3 files changed, 46 insertions(+), 12 deletions(-)

