Ubuntu 14.04
あるとき、気がついたが、 Chromebook Acer c720にインストールしたUbuntu 14.04で、メモリーが1,536Mしか認識されていない。これは、インストールの時にmem=1536mを指定したためだろうか。
/etc/default/grubの中を確認すると
/etc/default/grub
# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
# info -f grub -n 'Simple configuration'
GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash tpm_tis.force=1"
GRUB_CMDLINE_LINUX="mem=1536m"
GRUB_CMDLINE_LINUX="mem=1536m"をバッサリ削除して、sudo update-grubを実行して、再起動。
1.8GiBになった。これでよし。