昨日の続き。結局これはメモリアドレスのPMAの設定の問題で、Spikeは0xfffffff0へのアクセスを許可しているが、私の現在のRTLは許可していない、という話だった。 18005 : RTL(9,1) Exception Cause = SRET Flush(25) PC=0000ffc00140, Inst=10200073, sret …