require conf/distro/enea.conf DISTRO = "enea-accelerated" DISTRO_NAME = "Enea Accelerated Linux" # PREFERRED_PROVIDER_virtual/kernel = "linux-intel-rt"