私は micropython の最新の安定版リリースを使用しています。以下は私のプログラム全体です。
import gc
gc.collect()
print('free:{}, alloc:{}'.format(gc.mem_free(), gc.mem_alloc()))
#free:187488, alloc:4576
64k の RAM はどこに行ったのですか? ハードウェアの問題ではないことはわかっています。ヘッダーがはんだ付けされていない真新しい Pico を接続したところ、まったく同じ結果が得られました。何か不足していますか？
編集：
で以下を見つけましたports/rp2/main.c。そうでない理由はあり256ますか？
static char gc_heap[192 * 1024];