From 7c68f4ef0b9ea2e3222859ff5e68ea926ddb6259 Mon Sep 17 00:00:00 2001
From: Sichen Zhao <1473996754@qq.com>
Date: Wed, 8 Nov 2017 21:43:32 +0800
Subject: Port BBB sd driver files to RTEMS.

So BBB can mount and read eMMC and SD card.
---
 libbsd.py | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

(limited to 'libbsd.py')

diff --git a/libbsd.py b/libbsd.py
index e270626c..9bfab369 100644
--- a/libbsd.py
+++ b/libbsd.py
@@ -501,6 +501,41 @@ def mmc(mm):
     )
     return mod
 
+#
+# MMC
+#
+def mmc_ti(mm):
+    mod = builder.Module('mmc_ti')
+    mod.addKernelSpaceHeaderFiles(
+        [
+            'sys/arm/ti/ti_cpuid.h',
+            'sys/arm/ti/ti_prcm.h',
+            'sys/arm/ti/ti_hwmods.h',
+            'sys/dev/sdhci/sdhci.h',
+            'sys/dev/sdhci/sdhci_fdt_gpio.h',
+            'sys/dev/gpio/gpiobusvar.h',
+        ]
+    )
+    mod.addKernelSpaceSourceFiles(
+        [
+            'sys/dev/sdhci/sdhci.c',
+            'sys/arm/ti/ti_sdhci.c',
+            'sys/arm/ti/ti_hwmods.c',
+            'sys/dev/sdhci/sdhci_fdt_gpio.c',
+            'sys/dev/gpio/ofw_gpiobus.c',
+            'sys/dev/gpio/gpiobus.c',
+        ],
+        mm.generator['source']()
+    )
+    mod.addRTEMSSourceFiles(
+        [
+            'local/sdhci_if.c',
+            'local/gpiobus_if.c',
+        ],
+        mm.generator['source']()
+    )
+    return mod
+
 #
 # Input
 #
@@ -4244,6 +4279,7 @@ def sources(mm):
     mm.addModule(fdt(mm))
     mm.addModule(tty(mm))
     mm.addModule(mmc(mm))
+    mm.addModule(mmc_ti(mm))
     mm.addModule(dev_input(mm))
     mm.addModule(evdev(mm))
 
-- 
cgit v1.2.3