Thanks for your answer. > So no separately compiled packages at all?
Indeed. > > 2) If not, where could we act (maxima source?) to make maxima support these > > different pagesizes? > > > > This is to be addressed in GCL on which maxima is built. > > I take it you are not running a debian kernel package, correct?, as this > would standardize the pagezize. It seems you must be deviating from > Debian in some respects. Yes, RPiOS is running its own kernel (https://github.com/raspberrypi/linux/): # uname -srm Linux 6.12.25+rpt-rpi-2712 aarch64 and # getconf PAGESIZE 16384 > But the general rule is that the running pagesize can be no larger than > what was set at compile time, or a rebuild is required. I tried and successfully built maxima from source (on a 4K pagesize kernel, as gcl itself throw a seg violation when running on 16K pagesize kernel), but could not find in the code how to tell gcl to use a hardcoded pagesize value. Or is it via an environment variable that I could do this? Could you please point me to the correct location in the code or the environment variable used by gcl to set it? Thanks again for your help. Nicolas