search

bamarni / pi64

A 64-bit OS for the Raspberry Pi 3
712 stars 126 forks source link

Is there a way to modify graphics memory? #91

Open hilaolu opened 6 years ago

hilaolu commented 6 years ago

The available memory of a fresh pi64 OS is 919Mib(on 3b).Is there a way to modify graphics memory? I tried to edit /boot/config.txt,but it doesn't work for me.

TwinUsers commented 6 years ago

it's something to do with the bootloader, i'm still trying to work out what though. I've built a 64bit kernel for a 32bit os, and replaced 1 file and i got the full 1GB of ram.

@bamarni any ideas why this kernel/bootload steals the ram?