Using cheribsd-memstick-arm64-aarch64c-22.05.img on a USB drive (ext4)
Boot refuses to accept
Ignoring Boot0002: Only one DP found
Failed to find bootable partition
ERROR: cannot open /boot/lua/loader.lua: invalid argument.
The boot problem is not always reproducible , I also see this message
XhcCheckUrbResult: STALL_ERROR! Completecode = 6
XhcControlTransfer: error - Device Error, transfer - 2
Press ESCAPE for boot options ...........[Bds]Booting UEFI Misc Device
[Bds]Booting UEFI WDC WDS240G2G0A-00JH30 214607A013F3
[Bds]Booting UEFI Non-Block Boot Device 2
[Bds]Booting UEFI PXEv4 (MAC:0002F7009763)
[HiiDatabase]: Memory allocation is required after ReadyToBoot, which may change memory map and cause S4 resume issue.
>>Start PXE over IPv4PXE: Failed to read system GUID from the smbios table!
Reboot after running any OS that makes significant use of pure capability code (e.g., CheriBSD) is known to be broken due to a firmware bug. For now, wait for the system to shut down and then reboot using the MCC console. A new firmware with this fixed is expected later this year and we are working on a patch release which works around the issue (at the cost of requiring a reinstall.)
I rebooted several times, also with power off for a few minutes, and get to the same message as above.
Messages "cant find /etc/hostid" and "no device tree blob found" suggests installation was not successful?
Perhaps a reinstall is needed. Boot to BSD stopped earlier with this message below too:
After not only rebooting Morello multiple times, with power socket off, but also the host computer, the boot finally proceeded all the way to CheriBSD. No reinstall required, just multiple reboots. Subsequent reboots get it to CheriBSD each time, so seems to be OK now.