SBI doesn't attempt to handle that, just like EFI doesn't really handle that on x86. Just about every device your x86 computer uses looks like PCI (or on a bus

SBI doesn't attempt to handle that, just like EFI doesn't really handle that on x86. Just about every device your x86 computer uses looks like PCI (or on a bus hooked up to PCI), and is handled through those configuration mechanisms rather than via boot firmware.