build.ck 871 B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  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 library contains minimal support for ACPI in the kernel. It mostly
  11. marshals firmware tables from the boot environment and makes them
  12. available in the kernel environment.
  13. Author:
  14. Evan Green 4-Aug-2012
  15. Environment:
  16. Kernel
  17. --*/
  18. from menv import kernelLibrary;
  19. function build() {
  20. var entries;
  21. var lib;
  22. var sources;
  23. sources = [
  24. "tables.c"
  25. ];
  26. lib = {
  27. "label": "acpi",
  28. "inputs": sources,
  29. };
  30. entries = kernelLibrary(lib);
  31. return entries;
  32. }