RPi4.fdf 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442
  1. ## @file
  2. #
  3. # Copyright (c) 2011 - 2019, ARM Limited. All rights reserved.
  4. # Copyright (c) 2017 - 2018, Andrei Warkentin <andrey.warkentin@gmail.com>
  5. # Copyright (c) 2015 - 2016, Intel Corporation. All rights reserved.
  6. # Copyright (c) 2014, Linaro Limited. All rights reserved.
  7. #
  8. # SPDX-License-Identifier: BSD-2-Clause-Patent
  9. #
  10. ##
  11. ################################################################################
  12. #
  13. # FD Section
  14. # The [FD] Section is made up of the definition statements and a
  15. # description of what goes into the Flash Device Image. Each FD section
  16. # defines one flash "device" image. A flash device image may be one of
  17. # the following: Removable media bootable image (like a boot floppy
  18. # image,) an Option ROM image (that would be "flashed" into an add-in
  19. # card,) a System "Flash" image (that would be burned into a system's
  20. # flash) or an Update ("Capsule") image that will be used to update and
  21. # existing system flash.
  22. #
  23. ################################################################################
  24. [FD.RPI_EFI]
  25. BaseAddress = 0x00000000|gArmTokenSpaceGuid.PcdFdBaseAddress
  26. Size = 0x001f0000|gArmTokenSpaceGuid.PcdFdSize
  27. ErasePolarity = 1
  28. BlockSize = 0x00001000|gRaspberryPiTokenSpaceGuid.PcdFirmwareBlockSize
  29. NumBlocks = 0x1f0
  30. ################################################################################
  31. #
  32. # Following are lists of FD Region layout which correspond to the locations of different
  33. # images within the flash device.
  34. #
  35. # Regions must be defined in ascending order and may not overlap.
  36. #
  37. # A Layout Region start with a eight digit hex offset (leading "0x" required) followed by
  38. # the pipe "|" character, followed by the size of the region, also in hex with the leading
  39. # "0x" characters. Like:
  40. # Offset|Size
  41. # PcdOffsetCName|PcdSizeCName
  42. # RegionType <FV, DATA, or FILE>
  43. #
  44. ################################################################################
  45. #
  46. # ATF primary boot image
  47. #
  48. 0x00000000|0x00020000
  49. FILE = $(TFA_BUILD_BL31)
  50. #
  51. # UEFI image
  52. #
  53. 0x00020000|0x001b0000
  54. gArmTokenSpaceGuid.PcdFvBaseAddress|gArmTokenSpaceGuid.PcdFvSize
  55. FV = FVMAIN_COMPACT
  56. #
  57. # Variables (0x20000 overall).
  58. #
  59. # 0x001e0000 - 0x001edfff EFI_FIRMWARE_VOLUME_HEADER
  60. # 0x001ee000 - 0x001eefff Event log
  61. # 0x001ef000 - 0x001effff EFI_FAULT_TOLERANT_WORKING_BLOCK_HEADER-
  62. # 0x001f0000 - 0x001fffff Data
  63. #
  64. # NV_VARIABLE_STORE
  65. 0x001d0000|0x0000e000
  66. gRaspberryPiTokenSpaceGuid.PcdNvStorageVariableBase|gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageVariableSize
  67. DATA = {
  68. ## This is the EFI_FIRMWARE_VOLUME_HEADER
  69. # ZeroVector []
  70. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  71. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  72. # FileSystemGuid: gEfiSystemNvDataFvGuid =
  73. # { 0xFFF12B8D, 0x7696, 0x4C8B,
  74. # { 0xA9, 0x85, 0x27, 0x47, 0x07, 0x5B, 0x4F, 0x50 }}
  75. 0x8D, 0x2B, 0xF1, 0xFF, 0x96, 0x76, 0x8B, 0x4C,
  76. 0xA9, 0x85, 0x27, 0x47, 0x07, 0x5B, 0x4F, 0x50,
  77. # FvLength: 0x20000
  78. 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00,
  79. # Signature "_FVH" # Attributes
  80. 0x5f, 0x46, 0x56, 0x48, 0xff, 0xfe, 0x04, 0x00,
  81. # HeaderLength
  82. 0x48, 0x00,
  83. # CheckSum
  84. 0x19, 0xF9,
  85. # ExtHeaderOffset #Reserved #Revision
  86. 0x00, 0x00, 0x00, 0x02,
  87. # Blockmap[0]: 0x20 Blocks * 0x1000 Bytes / Block
  88. 0x20, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00,
  89. # Blockmap[1]: End
  90. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  91. ## This is the VARIABLE_STORE_HEADER
  92. # It is compatible with SECURE_BOOT_ENABLE == FALSE as well.
  93. # Signature: gEfiAuthenticatedVariableGuid =
  94. # { 0xaaf32c78, 0x947b, 0x439a,
  95. # { 0xa1, 0x80, 0x2e, 0x14, 0x4e, 0xc3, 0x77, 0x92 }}
  96. 0x78, 0x2c, 0xf3, 0xaa, 0x7b, 0x94, 0x9a, 0x43,
  97. 0xa1, 0x80, 0x2e, 0x14, 0x4e, 0xc3, 0x77, 0x92,
  98. # Size: 0xe000 (gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageVariableSize) -
  99. # 0x48 (size of EFI_FIRMWARE_VOLUME_HEADER) = 0xdfb8
  100. # This can speed up the Variable Dispatch a bit.
  101. 0xB8, 0xDF, 0x00, 0x00,
  102. # FORMATTED: 0x5A #HEALTHY: 0xFE #Reserved: UINT16 #Reserved1: UINT32
  103. 0x5A, 0xFE, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
  104. }
  105. # NV_EVENT_LOG
  106. 0x001de000|0x00001000
  107. gRaspberryPiTokenSpaceGuid.PcdNvStorageEventLogBase|gRaspberryPiTokenSpaceGuid.PcdNvStorageEventLogSize
  108. # NV_FTW_WORKING header
  109. 0x001df000|0x00001000
  110. gRaspberryPiTokenSpaceGuid.PcdNvStorageFtwWorkingBase|gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageFtwWorkingSize
  111. DATA = {
  112. # EFI_FAULT_TOLERANT_WORKING_BLOCK_HEADER->Signature = gEdkiiWorkingBlockSignatureGuid =
  113. # { 0x9e58292b, 0x7c68, 0x497d, { 0xa0, 0xce, 0x65, 0x0, 0xfd, 0x9f, 0x1b, 0x95 }}
  114. 0x2b, 0x29, 0x58, 0x9e, 0x68, 0x7c, 0x7d, 0x49,
  115. 0xa0, 0xce, 0x65, 0x0, 0xfd, 0x9f, 0x1b, 0x95,
  116. # Crc:UINT32 #WorkingBlockValid:1, WorkingBlockInvalid:1, Reserved
  117. 0x2c, 0xaf, 0x2c, 0x64, 0xFE, 0xFF, 0xFF, 0xFF,
  118. # WriteQueueSize: UINT64
  119. 0xE0, 0x0F, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
  120. }
  121. # NV_FTW_WORKING data
  122. 0x001e0000|0x00010000
  123. gRaspberryPiTokenSpaceGuid.PcdNvStorageFtwSpareBase|gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageFtwSpareSize
  124. #
  125. # This is just for documentation purposes! The DTB reserved space is not part of the FD,
  126. # but this is exactly where it is expected to be.
  127. #
  128. # 0x001f0000|0x10000
  129. # gRaspberryPiTokenSpaceGuid.PcdFdtBaseAddress|gRaspberryPiTokenSpaceGuid.PcdFdtSize
  130. #
  131. ################################################################################
  132. #
  133. # FV Section
  134. #
  135. # [FV] section is used to define what components or modules are placed within a flash
  136. # device file. This section also defines order the components and modules are positioned
  137. # within the image. The [FV] section consists of define statements, set statements and
  138. # module statements.
  139. #
  140. ################################################################################
  141. [FV.FvMain]
  142. FvNameGuid = 9a15aa37-d555-4a4e-b541-86391ff68164
  143. BlockSize = 0x40
  144. NumBlocks = 0 # This FV gets compressed so make it just big enough
  145. FvAlignment = 16 # FV alignment and FV attributes setting.
  146. ERASE_POLARITY = 1
  147. MEMORY_MAPPED = TRUE
  148. STICKY_WRITE = TRUE
  149. LOCK_CAP = TRUE
  150. LOCK_STATUS = TRUE
  151. WRITE_DISABLED_CAP = TRUE
  152. WRITE_ENABLED_CAP = TRUE
  153. WRITE_STATUS = TRUE
  154. WRITE_LOCK_CAP = TRUE
  155. WRITE_LOCK_STATUS = TRUE
  156. READ_DISABLED_CAP = TRUE
  157. READ_ENABLED_CAP = TRUE
  158. READ_STATUS = TRUE
  159. READ_LOCK_CAP = TRUE
  160. READ_LOCK_STATUS = TRUE
  161. INF MdeModulePkg/Core/Dxe/DxeMain.inf
  162. INF MdeModulePkg/Universal/PCD/Dxe/Pcd.inf
  163. #
  164. # PI DXE Drivers producing Architectural Protocols (EFI Services)
  165. #
  166. INF ArmPkg/Drivers/CpuDxe/CpuDxe.inf
  167. INF MdeModulePkg/Core/RuntimeDxe/RuntimeDxe.inf
  168. INF MdeModulePkg/Universal/SecurityStubDxe/SecurityStubDxe.inf
  169. INF MdeModulePkg/Universal/CapsuleRuntimeDxe/CapsuleRuntimeDxe.inf
  170. INF Platform/RaspberryPi/Drivers/VarBlockServiceDxe/VarBlockServiceDxe.inf
  171. INF MdeModulePkg/Universal/FaultTolerantWriteDxe/FaultTolerantWriteDxe.inf
  172. INF MdeModulePkg/Universal/Variable/RuntimeDxe/VariableRuntimeDxe.inf
  173. !if $(SECURE_BOOT_ENABLE) == TRUE
  174. !include ArmPlatformPkg/SecureBootDefaultKeys.fdf.inc
  175. INF SecurityPkg/VariableAuthenticated/SecureBootConfigDxe/SecureBootConfigDxe.inf
  176. INF SecurityPkg/VariableAuthenticated/SecureBootDefaultKeysDxe/SecureBootDefaultKeysDxe.inf
  177. !endif
  178. INF MdeModulePkg/Universal/MonotonicCounterRuntimeDxe/MonotonicCounterRuntimeDxe.inf
  179. INF EmbeddedPkg/ResetRuntimeDxe/ResetRuntimeDxe.inf
  180. INF EmbeddedPkg/RealTimeClockRuntimeDxe/RealTimeClockRuntimeDxe.inf
  181. INF EmbeddedPkg/MetronomeDxe/MetronomeDxe.inf
  182. INF MdeModulePkg/Universal/HiiDatabaseDxe/HiiDatabaseDxe.inf
  183. #
  184. # Multiple Console IO support
  185. #
  186. INF MdeModulePkg/Universal/Console/ConPlatformDxe/ConPlatformDxe.inf
  187. INF MdeModulePkg/Universal/Console/ConSplitterDxe/ConSplitterDxe.inf
  188. INF MdeModulePkg/Universal/Console/GraphicsConsoleDxe/GraphicsConsoleDxe.inf
  189. INF MdeModulePkg/Universal/Console/TerminalDxe/TerminalDxe.inf
  190. INF MdeModulePkg/Universal/SerialDxe/SerialDxe.inf
  191. INF Platform/RaspberryPi/Drivers/DisplayDxe/DisplayDxe.inf
  192. INF EmbeddedPkg/Drivers/ConsolePrefDxe/ConsolePrefDxe.inf
  193. INF ArmPkg/Drivers/ArmGic/ArmGicDxe.inf
  194. INF Platform/RaspberryPi/Drivers/RpiFirmwareDxe/RpiFirmwareDxe.inf
  195. INF Platform/RaspberryPi/Drivers/FdtDxe/FdtDxe.inf
  196. INF Platform/RaspberryPi/Drivers/ConfigDxe/ConfigDxe.inf
  197. INF ArmPkg/Drivers/TimerDxe/TimerDxe.inf
  198. INF MdeModulePkg/Universal/WatchdogTimerDxe/WatchdogTimer.inf
  199. INF MdeModulePkg/Universal/EbcDxe/EbcDxe.inf
  200. #
  201. # FAT filesystem + GPT/MBR partitioning
  202. #
  203. INF MdeModulePkg/Universal/Disk/DiskIoDxe/DiskIoDxe.inf
  204. INF MdeModulePkg/Universal/Disk/PartitionDxe/PartitionDxe.inf
  205. INF FatPkg/EnhancedFatDxe/Fat.inf
  206. INF MdeModulePkg/Universal/Disk/UnicodeCollation/EnglishDxe/EnglishDxe.inf
  207. #
  208. # UEFI application (Shell Embedded Boot Loader)
  209. #
  210. INF ShellPkg/Application/Shell/Shell.inf
  211. !if $(INCLUDE_TFTP_COMMAND) == TRUE
  212. INF ShellPkg/DynamicCommand/TftpDynamicCommand/TftpDynamicCommand.inf
  213. !endif
  214. #
  215. # ACPI Support
  216. #
  217. INF MdeModulePkg/Universal/Acpi/AcpiTableDxe/AcpiTableDxe.inf
  218. INF MdeModulePkg/Universal/Acpi/BootGraphicsResourceTableDxe/BootGraphicsResourceTableDxe.inf
  219. INF RuleOverride = ACPITABLE Platform/RaspberryPi/AcpiTables/AcpiTables.inf
  220. #
  221. # SMBIOS Support
  222. #
  223. INF Platform/RaspberryPi/Drivers/PlatformSmbiosDxe/PlatformSmbiosDxe.inf
  224. INF MdeModulePkg/Universal/SmbiosDxe/SmbiosDxe.inf
  225. #
  226. # RAM Disk Support
  227. #
  228. INF MdeModulePkg/Universal/Disk/RamDiskDxe/RamDiskDxe.inf
  229. #
  230. # Bds
  231. #
  232. INF MdeModulePkg/Universal/BootManagerPolicyDxe/BootManagerPolicyDxe.inf
  233. INF MdeModulePkg/Universal/DevicePathDxe/DevicePathDxe.inf
  234. INF MdeModulePkg/Universal/DisplayEngineDxe/DisplayEngineDxe.inf
  235. INF MdeModulePkg/Universal/SetupBrowserDxe/SetupBrowserDxe.inf
  236. INF MdeModulePkg/Universal/DriverHealthManagerDxe/DriverHealthManagerDxe.inf
  237. INF MdeModulePkg/Universal/BdsDxe/BdsDxe.inf
  238. INF MdeModulePkg/Application/UiApp/UiApp.inf
  239. #
  240. # Networking stack
  241. #
  242. !include NetworkPkg/Network.fdf.inc
  243. INF Silicon/Broadcom/Drivers/Net/BcmGenetDxe/BcmGenetDxe.inf
  244. #
  245. # RNG
  246. #
  247. INF Silicon/Broadcom/Bcm283x/Drivers/Bcm2838RngDxe/Bcm2838RngDxe.inf
  248. #
  249. # PCI Support
  250. #
  251. INF ArmPkg/Drivers/ArmPciCpuIo2Dxe/ArmPciCpuIo2Dxe.inf
  252. INF MdeModulePkg/Bus/Pci/PciHostBridgeDxe/PciHostBridgeDxe.inf
  253. INF MdeModulePkg/Bus/Pci/PciBusDxe/PciBusDxe.inf
  254. INF EmbeddedPkg/Drivers/NonCoherentIoMmuDxe/NonCoherentIoMmuDxe.inf
  255. #
  256. # NVMe boot devices
  257. #
  258. INF MdeModulePkg/Bus/Pci/NvmExpressDxe/NvmExpressDxe.inf
  259. #
  260. # SCSI Bus and Disk Driver
  261. #
  262. INF MdeModulePkg/Bus/Scsi/ScsiBusDxe/ScsiBusDxe.inf
  263. INF MdeModulePkg/Bus/Scsi/ScsiDiskDxe/ScsiDiskDxe.inf
  264. #
  265. # USB Support
  266. #
  267. INF MdeModulePkg/Bus/Pci/XhciDxe/XhciDxe.inf
  268. INF Platform/RaspberryPi/Drivers/DwUsbHostDxe/DwUsbHostDxe.inf
  269. INF MdeModulePkg/Bus/Usb/UsbBusDxe/UsbBusDxe.inf
  270. INF MdeModulePkg/Bus/Usb/UsbKbDxe/UsbKbDxe.inf
  271. INF MdeModulePkg/Bus/Usb/UsbMassStorageDxe/UsbMassStorageDxe.inf
  272. #
  273. # SD/MMC support
  274. #
  275. # INF Platform/RaspberryPi/Drivers/SdHostDxe/SdHostDxe.inf
  276. INF Platform/RaspberryPi/Drivers/ArasanMmcHostDxe/ArasanMmcHostDxe.inf
  277. INF Platform/RaspberryPi/Drivers/MmcDxe/MmcDxe.inf
  278. #
  279. # Pi logo (splash screen)
  280. #
  281. INF Platform/RaspberryPi/Drivers/LogoDxe/LogoDxe.inf
  282. [FV.FVMAIN_COMPACT]
  283. FvAlignment = 16
  284. ERASE_POLARITY = 1
  285. MEMORY_MAPPED = TRUE
  286. STICKY_WRITE = TRUE
  287. LOCK_CAP = TRUE
  288. LOCK_STATUS = TRUE
  289. WRITE_DISABLED_CAP = TRUE
  290. WRITE_ENABLED_CAP = TRUE
  291. WRITE_STATUS = TRUE
  292. WRITE_LOCK_CAP = TRUE
  293. WRITE_LOCK_STATUS = TRUE
  294. READ_DISABLED_CAP = TRUE
  295. READ_ENABLED_CAP = TRUE
  296. READ_STATUS = TRUE
  297. READ_LOCK_CAP = TRUE
  298. READ_LOCK_STATUS = TRUE
  299. INF ArmPlatformPkg/PrePi/PeiUniCore.inf
  300. FILE FV_IMAGE = 9E21FD93-9C72-4c15-8C4B-E77F1DB2D792 {
  301. SECTION GUIDED EE4E5898-3914-4259-9D6E-DC7BD79403CF PROCESSING_REQUIRED = TRUE {
  302. SECTION FV_IMAGE = FVMAIN
  303. }
  304. }
  305. ################################################################################
  306. #
  307. # Rules are use with the [FV] section's module INF type to define
  308. # how an FFS file is created for a given INF file. The following Rule are the default
  309. # rules for the different module type. User can add the customized rules to define the
  310. # content of the FFS file.
  311. #
  312. ################################################################################
  313. ############################################################################
  314. # Example of a DXE_DRIVER FFS file with a Checksum encapsulation section #
  315. ############################################################################
  316. #
  317. #[Rule.Common.DXE_DRIVER]
  318. # FILE DRIVER = $(NAMED_GUID) {
  319. # DXE_DEPEX DXE_DEPEX Optional $(INF_OUTPUT)/$(MODULE_NAME).depex
  320. # COMPRESS PI_STD {
  321. # GUIDED {
  322. # PE32 PE32 $(INF_OUTPUT)/$(MODULE_NAME).efi
  323. # UI STRING="$(MODULE_NAME)" Optional
  324. # VERSION STRING="$(INF_VERSION)" Optional BUILD_NUM=$(BUILD_NUMBER)
  325. # }
  326. # }
  327. # }
  328. #
  329. ############################################################################
  330. [Rule.Common.SEC]
  331. FILE SEC = $(NAMED_GUID) RELOCS_STRIPPED FIXED {
  332. TE TE Align = Auto $(INF_OUTPUT)/$(MODULE_NAME).efi
  333. }
  334. [Rule.Common.PEI_CORE]
  335. FILE PEI_CORE = $(NAMED_GUID) FIXED {
  336. TE TE Align = Auto $(INF_OUTPUT)/$(MODULE_NAME).efi
  337. UI STRING ="$(MODULE_NAME)" Optional
  338. }
  339. [Rule.Common.PEIM]
  340. FILE PEIM = $(NAMED_GUID) FIXED {
  341. PEI_DEPEX PEI_DEPEX Optional $(INF_OUTPUT)/$(MODULE_NAME).depex
  342. TE TE Align = Auto $(INF_OUTPUT)/$(MODULE_NAME).efi
  343. UI STRING="$(MODULE_NAME)" Optional
  344. }
  345. [Rule.Common.DXE_CORE]
  346. FILE DXE_CORE = $(NAMED_GUID) {
  347. PE32 PE32 $(INF_OUTPUT)/$(MODULE_NAME).efi
  348. UI STRING="$(MODULE_NAME)" Optional
  349. }
  350. [Rule.Common.UEFI_DRIVER]
  351. FILE DRIVER = $(NAMED_GUID) {
  352. DXE_DEPEX DXE_DEPEX Optional $(INF_OUTPUT)/$(MODULE_NAME).depex
  353. PE32 PE32 $(INF_OUTPUT)/$(MODULE_NAME).efi
  354. UI STRING="$(MODULE_NAME)" Optional
  355. }
  356. [Rule.Common.DXE_DRIVER]
  357. FILE DRIVER = $(NAMED_GUID) {
  358. DXE_DEPEX DXE_DEPEX Optional $(INF_OUTPUT)/$(MODULE_NAME).depex
  359. PE32 PE32 $(INF_OUTPUT)/$(MODULE_NAME).efi
  360. UI STRING="$(MODULE_NAME)" Optional
  361. RAW ACPI Optional |.acpi
  362. RAW ASL Optional |.aml
  363. }
  364. [Rule.Common.DXE_RUNTIME_DRIVER]
  365. FILE DRIVER = $(NAMED_GUID) {
  366. DXE_DEPEX DXE_DEPEX Optional $(INF_OUTPUT)/$(MODULE_NAME).depex
  367. PE32 PE32 $(INF_OUTPUT)/$(MODULE_NAME).efi
  368. UI STRING="$(MODULE_NAME)" Optional
  369. }
  370. [Rule.Common.UEFI_APPLICATION]
  371. FILE APPLICATION = $(NAMED_GUID) {
  372. UI STRING ="$(MODULE_NAME)" Optional
  373. PE32 PE32 $(INF_OUTPUT)/$(MODULE_NAME).efi
  374. }
  375. [Rule.Common.UEFI_DRIVER.BINARY]
  376. FILE DRIVER = $(NAMED_GUID) {
  377. DXE_DEPEX DXE_DEPEX Optional |.depex
  378. PE32 PE32 |.efi
  379. UI STRING="$(MODULE_NAME)" Optional
  380. VERSION STRING="$(INF_VERSION)" Optional BUILD_NUM=$(BUILD_NUMBER)
  381. }
  382. [Rule.Common.UEFI_APPLICATION.BINARY]
  383. FILE APPLICATION = $(NAMED_GUID) {
  384. PE32 PE32 |.efi
  385. UI STRING="$(MODULE_NAME)" Optional
  386. VERSION STRING="$(INF_VERSION)" Optional BUILD_NUM=$(BUILD_NUMBER)
  387. }
  388. [Rule.Common.USER_DEFINED.ACPITABLE]
  389. FILE FREEFORM = $(NAMED_GUID) {
  390. RAW ACPI |.acpi
  391. RAW ASL |.aml
  392. }