amd64coreboot.json 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123
  1. {
  2. "amd64cpu": {
  3. "Env": [
  4. "CONF=amd64cpu"
  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. "iig",
  30. "ip",
  31. "kprof",
  32. "mnt",
  33. "mouse",
  34. "pci",
  35. "pipe",
  36. "pmc",
  37. "proc",
  38. "ram",
  39. "regress",
  40. "root",
  41. "rtc",
  42. "sd",
  43. "segment",
  44. "srv",
  45. "ssl",
  46. "tls",
  47. "uart",
  48. "ws",
  49. "usb",
  50. "zp"
  51. ],
  52. "Ip": [
  53. "tcp",
  54. "udp",
  55. "ipifc",
  56. "icmp",
  57. "icmp6",
  58. "gre"
  59. ],
  60. "Link": [
  61. "ether8169",
  62. "ether82557",
  63. "ether82563",
  64. "etherigbe",
  65. "ether8139",
  66. "ethermedium",
  67. "loopbackmedium",
  68. "netdevmedium",
  69. "usbuhci",
  70. "usbohci",
  71. "usbehci"
  72. ],
  73. "Sd": [
  74. "sdiahci"
  75. ],
  76. "Uart": [
  77. "i8250",
  78. "pci"
  79. ],
  80. "VGA": []
  81. },
  82. "Ramfiles": {
  83. "bind": "/$ARCH/bin/bind",
  84. "boot": "/sys/src/9/boot/bootamd64cpu.elf.out",
  85. "cat": "/$ARCH/bin/cat",
  86. "date": "/$ARCH/bin/date",
  87. "echo": "/$ARCH/bin/echo",
  88. "factotum": "/$ARCH/bin/auth/factotum",
  89. "fdisk": "/$ARCH/bin/disk/fdisk",
  90. "fossil": "/$ARCH/bin/fossil/fossil",
  91. "ipconfig": "/$ARCH/bin/ip/ipconfig",
  92. "ls": "/$ARCH/bin/ls",
  93. "mount": "/$ARCH/bin/mount",
  94. "nvram": "/util/nvram",
  95. "prep": "/$ARCH/bin/disk/prep",
  96. "rc": "/$ARCH/bin/rc",
  97. "rcmain": "/rc/lib/rcmain",
  98. "screenconsole": "/$ARCH/bin/aux/screenconsole",
  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. }