rpi-default-*.inc: Create inc files included in machine configure file

Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>

3 files changed, 11 insertions, 0 deletions

diff --git a/conf/distro/include/rpi-default-providers.inc b/conf/distro/include/rpi-default-providers.inc
new file mode 100644
index 0000000..00e378d
--- /dev/null
+++ b/conf/distro/include/rpi-default-providers.inc
@@ -0,0 +1,7 @@
+# RaspberryPi BSP default providers
+
+PREFERRED_PROVIDER_virtual/kernel = "linux-raspberrypi"
+PREFERRED_PROVIDER_virtual/xserver = "xserver-xorg"
+PREFERRED_PROVIDER_virtual/egl ?= "vc-graphics-hardfp"
+PREFERRED_PROVIDER_virtual/libgles2 ?= "vc-graphics-hardfp"
+PREFERRED_PROVIDER_virtual/libgl ?= "vc-graphics-hardfp"
diff --git a/conf/distro/include/rpi-default-settings.inc b/conf/distro/include/rpi-default-settings.inc
new file mode 100644
index 0000000..68aad42
--- /dev/null
+++ b/conf/distro/include/rpi-default-settings.inc
@@ -0,0 +1 @@
+# RaspberryPi BSP default settings
diff --git a/conf/distro/include/rpi-default-versions.inc b/conf/distro/include/rpi-default-versions.inc
new file mode 100644
index 0000000..4787e42
--- /dev/null
+++ b/conf/distro/include/rpi-default-versions.inc
@@ -0,0 +1,3 @@
+# RaspberryPi BSP default versions
+
+PREFERRED_VERSION_udev = "164"