static const char const SYSTEM_TYPE_PROP[] = "system-type";␊ |
static const char const MODEL_PROP[] = "Model";␊ |
static const char const BOARDID_PROP[] = "board-id";␊ |
static const char const DEV_PATH_SUP[] = "DevicePathsSupported";␊ |
static uint32_t DevPathSup = 1;␊ |
␊ |
/*␊ |
* Get an smbios option string option to convert to EFI_CHAR16 string␊ |
|
␉if (Platform.CPU.CPUFrequency != 0)␊ |
␉␉DT__AddProperty(efiPlatformNode, CPU_Frequency_prop, sizeof(uint64_t), &Platform.CPU.CPUFrequency);␊ |
␉␊ |
␉DT__AddProperty(efiPlatformNode,DEV_PATH_SUP, sizeof(uint32_t), &DevPathSup);␊ |
␉␊ |
␉// Export system-id. Can be disabled with SystemId=No in com.apple.Boot.plist␊ |
␉if ((ret=getSystemID()))␊ |
␉␉DT__AddProperty(efiPlatformNode, SYSTEM_ID_PROP, UUID_LEN, (EFI_UINT32*) ret);␊ |