| /* SPDX-License-Identifier: GPL-2.0 */ |
| /* |
| * Configuration header file for BeaglePlay |
| * |
| * https://beagleplay.org/ |
| * |
| * Copyright (C) 2024 Texas Instruments Incorporated - https://www.ti.com/ |
| */ |
| |
| #ifndef __CONFIG_BEAGLEPLAY_H |
| #define __CONFIG_BEAGLEPLAY_H |
| |
| /** |
| * define BEAGLEPLAY_TIBOOT3_IMAGE_GUID - firmware GUID for BeaglePlay |
| * tiboot3.bin |
| * define BEAGLEPLAY_SPL_IMAGE_GUID - firmware GUID for BeaglePlay SPL |
| * define BEAGLEPLAY_UBOOT_IMAGE_GUID - firmware GUID for BeaglePlay UBOOT |
| * |
| * These GUIDs are used in capsules updates to identify the corresponding |
| * firmware object. |
| * |
| * Board developers using this as a starting reference should |
| * define their own GUIDs to ensure that firmware repositories (like |
| * LVFS) do not confuse them. |
| */ |
| #define BEAGLEPLAY_TIBOOT3_IMAGE_GUID \ |
| EFI_GUID(0x0e225a09, 0xf720, 0x4d57, 0x91, 0x20, \ |
| 0xe2, 0x8f, 0x73, 0x7f, 0x5a, 0x5e) |
| |
| #define BEAGLEPLAY_SPL_IMAGE_GUID \ |
| EFI_GUID(0xb2e7cc49, 0x1a5a, 0x4036, 0xae, 0x01, \ |
| 0x33, 0x87, 0xc3, 0xbe, 0xf6, 0x57) |
| |
| #define BEAGLEPLAY_UBOOT_IMAGE_GUID \ |
| EFI_GUID(0x92c92b11, 0xa7ee, 0x486f, 0xaa, 0xa2, \ |
| 0x71, 0x3d, 0x84, 0x42, 0x5b, 0x0e) |
| |
| /* Now for the remaining common defines */ |
| #include <configs/ti_armv7_common.h> |
| |
| #endif /* __CONFIG_BEAGLEPLAY_H */ |