RISC-V用のシンプルなOSの実装