/* 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 */