managerの中古を買ってきてみました。23でブートしました。23という値は、GIUのlevel2を全開にしたまま、vrgiu_intr_establishの中でGIUのレジスタの設定をしているところを外して、vrip_intrでGIUにあがってくる割りこみを見て設定しました。(ブートログは23に対して設定するように戻してあります。configurationが終ったあとspl0した瞬間にGPIOの9番目があがりっぱなしになって止まってしまいます。下のブートのkernelでは、vrip_intr_establishで、vrgiuの割り込みをとった時点でGIUのLevel2を全部マスクし、vrgiu_intr_establishで、指定された(この場合23bit目)ところだけ開けるようにしています。wsconsIndex(es):DateThread。