Похоже, я могу отредактировать файл конфигурации, чтобы увеличить объем рассматриваемой физической памяти. Какой это конфигурационный файл?
Для этого достаточно отредактировать Options.py и изменить значение «--mem-size» по умолчанию, а затем перекомпилировать.