In top, it's showing only 709152 total KiB of memory though the R2S should have 1GB. I'm assuming, with my experience with other SBCs, that there's a portion of RAM dedicated to video, although this device is headless and has no video output. I would like to change how much memory is dedicated to video. Any ideas on how to do this? Or am I wrong about the shared memory?