Я пытаюсь отключить AVX, так как он не позволяет мне отлаживать в обратном порядке.После некоторого поиска в Google я пришел к нескольким исправлениям ошибок (безуспешно) и к опции noxsave.Я добавляю опцию noxsave в конец файла конфигурации grub на /etc/default/grub, а затем вызываю sudo update-grub, в результате 13: /etc/default/grub: noxsave: not found.Что не так?
Может быть, есть какой-то флаг для компиляции c файлов без инструкций avx?
Универсальная версия ядра 4.4.0-124.
Disto Ubuntu 14.04.5 LTS