AIUI it doesn't, but there's nothing in the way of it, other than some board-specific porting work. I believe by the standard boot process, opensbi would jump

AIUI it doesn't, but there's nothing in the way of it, other than some board-specific porting work. I believe by the standard boot process, opensbi would jump into uefi instead of u-boot.