require conf/distro/enea.conf

DISTRO_NAME = "Enea Linux RT"

PREFERRED_PROVIDER_virtual/kernel = "linux-intel-rt"