どうやら FPGA 側で 0x3e00 0000 を 0x8e00 0000 に見せている模様。 0x3e00 0000 から何かしらのリザーブになっているので(各コアの共通ライブラリ用)、 0x3f00 0000 から使えるみたい。で e_alloc からは 0x0100 0000 に見える。ややこしいぞ。https://par…