BUILD 637 B

12345678910111213141516171819202122232425262728293031
  1. objcopy(
  2. name="harvey",
  3. deps=[
  4. "//sys/src/9/amd64:harvey"
  5. ],
  6. infile="elf64-x86-64",
  7. outfile="elf32-i386",
  8. )
  9. kernel(
  10. name="kernel",
  11. deps=[
  12. ":harvey",
  13. "//sys/src/9/amd64:init",
  14. "//sys/src/9/amd64:echo",
  15. "//sys/src/9/amd64:ls",
  16. "//sys/src/9/amd64:cat",
  17. "//sys/src/9/amd64:date",
  18. "//sys/src/9/amd64:ipconfig",
  19. "//sys/src/cmd/acme:acme",
  20. ],
  21. installs={
  22. "amd64/harvey": "bin/harvey",
  23. "amd64/bin/init": "bin/init",
  24. "amd64/bin/echo": "bin/echo",
  25. "amd64/bin/ls": "bin/ls",
  26. "amd64/bin/cat": "bin/cat",
  27. "amd64/bin/date": "bin/date",
  28. "amd64/bin/ipconfig": "bin/ipconfig",
  29. "amd64/bin/acme": "bin/acme",
  30. },
  31. )