amd64coreboot.json 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117
  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. "ether",
  28. "ip",
  29. "kprof",
  30. "mnt",
  31. "mouse",
  32. "pci",
  33. "pipe",
  34. "pmc",
  35. "proc",
  36. "regress",
  37. "root",
  38. "rtc",
  39. "sd",
  40. "segment",
  41. "srv",
  42. "ssl",
  43. "tls",
  44. "uart",
  45. "ws",
  46. "usb",
  47. "zp"
  48. ],
  49. "Ip": [
  50. "tcp",
  51. "udp",
  52. "ipifc",
  53. "icmp",
  54. "icmp6",
  55. "gre"
  56. ],
  57. "Link": [
  58. "ether8169",
  59. "ether82557",
  60. "ether82563",
  61. "etherigbe",
  62. "ether8139",
  63. "ethermedium",
  64. "loopbackmedium",
  65. "netdevmedium",
  66. "usbuhci",
  67. "usbohci",
  68. "usbehci"
  69. ],
  70. "Sd": [
  71. "sdiahci"
  72. ],
  73. "Systab": "/sys/src/libc/9syscall/sys.h",
  74. "Uart": [
  75. "i8250",
  76. "pci"
  77. ]
  78. },
  79. "Ramfiles": {
  80. "bind": "/$ARCH/bin/bind",
  81. "boot": "/sys/src/9/boot/bootamd64cpu.elf.out",
  82. "cat": "/$ARCH/bin/cat",
  83. "date": "/$ARCH/bin/date",
  84. "echo": "/$ARCH/bin/echo",
  85. "factotum": "/$ARCH/bin/auth/factotum",
  86. "ipconfig": "/$ARCH/bin/ip/ipconfig",
  87. "ls": "/$ARCH/bin/ls",
  88. "mount": "/$ARCH/bin/mount",
  89. "nvram": "/util/nvram",
  90. "rc": "/$ARCH/bin/rc",
  91. "rcmain": "/rc/lib/rcmain",
  92. "screenconsole": "/$ARCH/bin/aux/screenconsole",
  93. "srv": "/$ARCH/bin/srv",
  94. "fdisk": "/$ARCH/bin/disk/fdisk",
  95. "prep": "/$ARCH/bin/disk/prep",
  96. "venti": "/$ARCH/bin/venti/venti",
  97. "fossil": "/$ARCH/bin/fossil/fossil",
  98. "startdisk" : "startdisk"
  99. }
  100. },
  101. "Program": "harvey",
  102. "SourceFiles": [
  103. "../port/corebootscreen.c",
  104. "cga.c",
  105. "devacpi.c",
  106. "devusb.c",
  107. "ether8139.c",
  108. "ether82563.c",
  109. "amd64cpu.c",
  110. "mouse.c",
  111. "sdata.c",
  112. "usbehcipc.c",
  113. "usbohci.c",
  114. "usbuhci.c"
  115. ]
  116. }
  117. }