I think it's just in boot logs that you can see total...
The about screens inky site you what is available to Linux (some is taken for graphics etc and not available for Linux to use)
Sent from my GT-I9300 using Tapatalk 2
Welcome to Satellite Support Forum .: Home of OpenViX Team:.!
World-of-Satellite enthusiasts Satellite, IPTV, Technology, Audio visual Forum.
Any information provided on this site is not guaranteed in any way. Some articles may discuss topics that are illegal, so this information is provided for educational purposes only, your use of the content, downloads and files, or any part thereof, is made solely at your own risk and responsibility. Viewing Pay TV without a valid subscription is illegal. !! World-of-Satellite.com cannot be held responsible for the content of any information stored or posted on this forum.