xtensa-config.sh   [plain text]

# Xtensa configuration settings.

MAXPAGESIZE=0x1000