I had to substitute a FreeBSD EFI loader from main [so: 14] to boot the Windows Dev Kit 2023 via USB3 and a dd'd:
http://ftp3.freebsd.org/pub/FreeBSD/snapshots/ISO-IMAGES/13.2/FreeBSD-13.2-STABLE-arm64-aarch64-ROCK64-20230504-7dea7445ba44-255298.img.xz When I looked as a resut, the following that mention the Windows Dev Kit 2023 were not in stable/13 : Commit message (Expand) Author Age Files Lines * arm64: Disable PAC when booting on a Windows Dev Kit 2023 Mark Johnston 2023-04-23 1 -1/+30 * Add the fixed memory type to the pci ecam driver Andrew Turner 2023-01-18 1 -3/+20 By contrast, I did find: Commit message (Expand) Author Age Files Lines * loader.efi: make sure kernel image is executable Robert Clausecker 2023-01-23 1 -4/+4 * Add Windows Dev Kit 2023 support to if_ure Andrew Turner 2023-01-23 2 -0/+2 * Check for more XHCI ACPI IDs Andrew Turner 2023-01-23 1 -4/+7 in stable/13 . (I have not checked the correspondance of what I found missing vs. the status of the loader. There could be more involved than what I've found --and some or all of what I found missing may not be involved in the EFI loader issue.) === Mark Millard marklmi at yahoo.com
