pbsdbootでTX3922でもkernelに制御を移行できるようになったので、commitしました。 cache flushコードの追加と、書きかえるvector addressをTXは0x80に変更です。 たけむらさん、pbsdboot.uuお願いします。 --- UCHIYAMA Yasushi uch@nop.or.jp