build.ck 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970
  1. /*++
  2. Copyright (c) 2012 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. ACPI
  9. Abstract:
  10. This module implements the Advanced Configuration and Power Interface
  11. (ACPI) driver, which uses platform firmware to enumerate devices,
  12. manage hardware, and implement system power transitions. It is
  13. supported even on systems that do not provide ACPI-specific hardware
  14. (embedded controllers).
  15. Author:
  16. Evan Green 29-Nov-2012
  17. Environment:
  18. Kernel
  19. --*/
  20. function build() {
  21. sources = [
  22. "acpidrv.c",
  23. "aml.c",
  24. "amlopcr.c",
  25. "amlopex.c",
  26. "amloptab.c",
  27. "amlos.c",
  28. "drvsup.c",
  29. "earlypci.c",
  30. "fixedreg.c",
  31. "namespce.c",
  32. "oprgn.c",
  33. "oprgnos.c",
  34. "proc.c",
  35. "resdesc.c"
  36. ];
  37. if ((arch == "armv7") || (arch == "armv6")) {
  38. sources += [
  39. "armv7/procarch.c"
  40. ];
  41. } else if (arch == "x86") {
  42. sources += [
  43. "x86/procarch.c"
  44. ];
  45. }
  46. drv = {
  47. "label": "acpi",
  48. "inputs": sources,
  49. };
  50. entries = driver(drv);
  51. return entries;
  52. }
  53. return build();