amd64coreboot.json 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123
  1. [
  2. {
  3. "Name": "amd64cpu",
  4. "Env": [
  5. "CONF=amd64cpu"
  6. ],
  7. "Include": [
  8. "core.json",
  9. "../386/386.json",
  10. "../ip/ip.json",
  11. "../port/port.json"
  12. ],
  13. "Kernel": {
  14. "Config": {
  15. "Code": [
  16. "int cpuserver = 1;",
  17. "uint32_t kerndate = 1;"
  18. ],
  19. "Dev": [
  20. "acpi",
  21. "arch",
  22. "cap",
  23. "cons",
  24. "coreboot",
  25. "draw",
  26. "dup",
  27. "env",
  28. "fdmux",
  29. "ether",
  30. "iig",
  31. "ip",
  32. "kprof",
  33. "mnt",
  34. "mouse",
  35. "pci",
  36. "pipe",
  37. "pmc",
  38. "proc",
  39. "ram",
  40. "regress",
  41. "root",
  42. "rtc",
  43. "sd",
  44. "segment",
  45. "srv",
  46. "ssl",
  47. "tls",
  48. "uart",
  49. "ws",
  50. "usb",
  51. "zp"
  52. ],
  53. "Ip": [
  54. "tcp",
  55. "udp",
  56. "ipifc",
  57. "icmp",
  58. "icmp6",
  59. "gre"
  60. ],
  61. "Link": [
  62. "ether8169",
  63. "ether82557",
  64. "ether82563",
  65. "etherigbe",
  66. "ether8139",
  67. "ethermedium",
  68. "loopbackmedium",
  69. "netdevmedium",
  70. "usbuhci",
  71. "usbohci",
  72. "usbehci"
  73. ],
  74. "Sd": [
  75. "sdiahci"
  76. ],
  77. "Uart": [
  78. "i8250",
  79. "pci"
  80. ],
  81. "VGA": []
  82. },
  83. "Ramfiles": {
  84. "bind": "/$ARCH/bin/bind",
  85. "boot": "/sys/src/9/boot/bootamd64cpu.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. "rcmain": "/rc/lib/rcmain",
  99. "srv": "/$ARCH/bin/srv",
  100. "startdisk": "startdisk",
  101. "usbd": "/$ARCH/bin/usb/usbd",
  102. "venti": "/$ARCH/bin/venti/venti"
  103. },
  104. "Systab": "/sys/src/libc/9syscall/sys.h"
  105. },
  106. "Program": "harvey",
  107. "SourceFiles": [
  108. "cga.c",
  109. "devacpi.c",
  110. "deviig.c",
  111. "devusb.c",
  112. "ether8139.c",
  113. "ether82563.c",
  114. "amd64cpu.c",
  115. "mouse.c",
  116. "cbscreen.c",
  117. "usbehcipc.c",
  118. "usbohci.c",
  119. "usbuhci.c",
  120. "cbvga.c"
  121. ]
  122. }
  123. ]