Можно ли сказать, что системное программирование -- это почти то же, что и прикладное, но предметная область там -- ОС?

Сводить системное программирование к "почти прикладному, но для ОС" - это как назвать гиперкар "просто машиной с мощным мотором". Возьмем, например, программирование IOAPIC (контроллер прерываний). Это не просто написание "приложения" под ОС, это погружение в дебри архитектуры x86. Ты работаешь с регистрами, маскируешь прерывания, программируешь таблицы перенаправления. Код, который ты пишешь, - это не абстрактные функции, а прямые команды железу.

Или возьмем драйвер устройства. Тут не просто API ОС используешь, а сам его расширяешь. Ты имеешь дело с DMA, пространством ввода-вывода, управляешь прерываниями, синхронизируешь доступ к ресурсам. Это не просто "приложение", это код, живущий на грани между миром железа и операционной системы.

В чём принципиальная разница? В системном программировании ты работаешь на уровне, где абстракции ОС еще не властвуют. Ты мыслишь категориями аппаратных ресурсов, времени отклика, прямого доступа к памяти. Тебе важно понимать, как устроен процессор, как работает шина, как организована память.

Прикладное программирование, даже сложное, оперирует абстракциями, предоставляемыми ОС. Ты работаешь с файлами, сокетами, процессами. Твоя область - алгоритмы, структуры данных, бизнес-логика.

Можно сказать, что системное программирование - это искусство управления железом через призму операционной системы, а прикладное программирование - это искусство решения задач пользователя, используя инструменты, которые предоставляет ОС.

И даже если ты супер-пупер программист в обеих сферах, прыжки между этими уровнями - это не просто смена инструментария, это смена образа мышления, парадигмы.