安全な方法ではないらしいが、以下でリセットできる https://forums.xilinx.com/t5/Embedded-Development-Tools/Software-reset-of-MB-processor/td-p/188732 void mb_reset() { microblaze_disable_interrupts(); (*((void (*)())(0x00)))(); // restart }