Решение есть: можно работать со звуком в реальном времени
в обычных операционных системах. Как выяснилось, для realtime работы со звуком
особое ядро не требуется. Достаточно кроссплатформенного инструмента
Jack (Jack audio connection kit)
jackaudio.org/faq/realtime_vs_realtime_kernel.html
В Linux, например, достаточно разрешить риалтаймовый приоритет для Jack'a:
jackaudio.org/faq/linux_rt_config.html
и использовать минимальный размер буфера, который заработает. У меня звук работает на длине буфера от 64, его и использую.