build.json 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130
  1. {
  2. "cpu": {
  3. "Env": [
  4. "CONF=cpu"
  5. ],
  6. "Include": [
  7. "core.json",
  8. "../386/386.json",
  9. "../ip/ip.json",
  10. "../port/port.json"
  11. ],
  12. "Kernel": {
  13. "Config": {
  14. "Code": [
  15. "int cpuserver = 1;",
  16. "uint32_t kerndate = 1;"
  17. ],
  18. "Dev": [
  19. "acpi",
  20. "arch",
  21. "cap",
  22. "cons",
  23. "coreboot",
  24. "draw",
  25. "dup",
  26. "env",
  27. "fdmux",
  28. "ether",
  29. "ip",
  30. "kbin",
  31. "kprof",
  32. "mnt",
  33. "mntn",
  34. "mouse",
  35. "pci",
  36. "pipe",
  37. "proc",
  38. "regress",
  39. "root",
  40. "rtc",
  41. "sd",
  42. "segment",
  43. "srv",
  44. "ssl",
  45. "tls",
  46. "uart",
  47. "ws",
  48. "usb",
  49. "vga"
  50. ],
  51. "Ip": [
  52. "tcp",
  53. "udp",
  54. "ipifc",
  55. "icmp",
  56. "icmp6",
  57. "gre"
  58. ],
  59. "Link": [
  60. "ether8169",
  61. "ether82557",
  62. "ether82563",
  63. "etherigbe",
  64. "ether8139",
  65. "ethermedium",
  66. "loopbackmedium",
  67. "netdevmedium",
  68. "usbuhci",
  69. "usbohci",
  70. "usbehci"
  71. ],
  72. "Sd": [
  73. "sdiahci"
  74. ],
  75. "Uart": [
  76. "i8250",
  77. "pci"
  78. ],
  79. "VGA": [
  80. "vgavesa"
  81. ]
  82. },
  83. "Ramfiles": {
  84. "bind": "/$ARCH/bin/bind",
  85. "boot": "/sys/src/9/boot/bootcpu.elf.out",
  86. "cat": "/$ARCH/bin/cat",
  87. "date": "/$ARCH/bin/date",
  88. "echo": "/$ARCH/bin/echo",
  89. "factotum": "/$ARCH/bin/auth/factotum",
  90. "fdisk": "/$ARCH/bin/disk/fdisk",
  91. "fossil": "/$ARCH/bin/fossil/fossil",
  92. "ipconfig": "/$ARCH/bin/ip/ipconfig",
  93. "ls": "/$ARCH/bin/ls",
  94. "mount": "/$ARCH/bin/mount",
  95. "nvram": "/util/nvram",
  96. "prep": "/$ARCH/bin/disk/prep",
  97. "rc": "/$ARCH/bin/rc",
  98. "ps": "/$ARCH/bin/ps",
  99. "ed": "/$ARCH/bin/ed",
  100. "rcmain": "/rc/lib/rcmain",
  101. "screenconsole": "/$ARCH/bin/aux/screenconsole",
  102. "realemu": "/$ARCH/bin/aux/realemu",
  103. "vga": "/$ARCH/bin/aux/vga",
  104. "srv": "/$ARCH/bin/srv",
  105. "startdisk": "startdisk",
  106. "usbd": "/$ARCH/bin/usb/usbd",
  107. "venti": "/$ARCH/bin/venti/venti"
  108. },
  109. "Systab": "/sys/src/libc/9syscall/sys.h"
  110. },
  111. "Program": "harvey",
  112. "SourceFiles": [
  113. "cga.c",
  114. "devacpi.c",
  115. "devusb.c",
  116. "devvga.c",
  117. "ether8139.c",
  118. "ether82563.c",
  119. "cpu.c",
  120. "mouse.c",
  121. "screen.c",
  122. "sdata.c",
  123. "usbehcipc.c",
  124. "usbohci.c",
  125. "usbuhci.c",
  126. "vga.c",
  127. "vgax.c"
  128. ]
  129. }
  130. }