Hello, 1. Is there anyone that can suggest optimal configuration of NixOS for a Linux based Digital Audio Workstation? 2. I'd like to modify the kernel to run side by side with Xenomai for my x86_64 Duo Core Intel CPU. Any possible hiccups foreseen by doing this? Thank you! :)