#include <Library/DebugLib.h>\r
#include <Library/HiiLib.h>\r
#include <Library/OemMiscLib.h>\r
+#include <Library/PcdLib.h>\r
\r
/** Gets the CPU frequency of the specified processor.\r
\r
ASSERT (FALSE);\r
CopyGuid (SystemUuid, &gZeroGuid);\r
}\r
+\r
+/** Fetches the BIOS release.\r
+\r
+ @return The BIOS release.\r
+**/\r
+UINT16\r
+EFIAPI\r
+OemGetBiosRelease (\r
+ VOID\r
+ )\r
+{\r
+ ASSERT (FALSE);\r
+ return PcdGet16 (PcdSystemBiosRelease);\r
+}\r
+\r
+/** Fetches the embedded controller firmware release.\r
+\r
+ @return The embedded controller firmware release.\r
+**/\r
+UINT16\r
+EFIAPI\r
+OemGetEmbeddedControllerFirmwareRelease (\r
+ VOID\r
+ )\r
+{\r
+ ASSERT (FALSE);\r
+ return PcdGet16 (PcdEmbeddedControllerFirmwareRelease);\r
+}\r