build.ck 1001 B

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. /*++
  2. Copyright (c) 2014 Minoca Corp.
  3. This file is licensed under the terms of the GNU General Public License
  4. version 3. Alternative licensing terms are available. Contact
  5. info@minocacorp.com for details. See the LICENSE file at the root of this
  6. project for complete licensing information.
  7. Module Name:
  8. SD
  9. Abstract:
  10. This directory is responsible for building Secure Digital and MultiMedia
  11. Card host controller drivers.
  12. Author:
  13. Evan Green 16-Mar-2014
  14. Environment:
  15. Kernel
  16. --*/
  17. function build() {
  18. if ((arch == "armv7") || (arch == "armv6")) {
  19. sd_drivers = [
  20. "//drivers/sd/bcm2709:sdbm2709",
  21. "//drivers/sd/omap4:sdomap4",
  22. "//drivers/sd/rk32xx:sdrk32xx",
  23. "//drivers/plat/ti/tps65217:tps65217"
  24. ];
  25. } else if (arch == "x86") {
  26. sd_drivers = [
  27. "//drivers/sd/core:sd"
  28. ];
  29. }
  30. entries = group("sd_drivers", sd_drivers);
  31. return entries;
  32. }
  33. return build();