OpenSBI source code also contains code reused from other projects as listed ... in the form of a platform-independent static library libsbi.a implementing the SBI interface. A firmware or bootloader ...