RISC-VのOpenSBIとLinuxのソースコードを調べ、LinuxからOpenSBIがどのように使われているのかを調べました。