Имеется машина с плашкой памяти на 4096 МиБ
В настройках UEFI 128 МиБ отдано под видеопамять
Ещё столько же отдано под SGX
Системе же видно только 3334 мегабайта
$ free -m
total used free shared buff/cache available
Mem: 3334 1885 722 34 1026 1448
В результате несложной арифметики получаем
4096-128-128-3334 = 506 МиБ
Не может же MMIO всякой периферии по типу блютуза/вайфая отжирать пол гигабайта памяти?
