coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
header.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 
3 #ifndef __SOC_TI_AM335X_HEADER_H
4 #define __SOC_TI_AM335X_HEADER_H
5 
6 #include <stdint.h>
7 
9  // Offset from the start address of the TOC to the actual address of
10  // a section.
12 
13  // Size of a section.
15 
16  // Reserved.
18 
19  // 12-character name of a section, including the zero (\0) terminator.
20  char filename[12];
22 
24  // Key used for section verification.
26 
27  // Enables or disables the section.
28  // 00h: Disable.
29  // Other: Enable.
31 
32  // Configuration header version.
34 
35  // Reserved.
37 
38  // Flags. It's not clear what this is used for.
40 } __packed;
41 
43  // Size of the image.
45 
46  // Address to store the image/code entry point.
48 } __packed;
49 
51  // The table of contents.
54 
55  // An inert instance of chsettings.
57 } __packed;
58 
60  union {
62  uint8_t bytes[512];
63  };
65 };
66 
67 #endif
struct configuration_header_toc_item __packed
unsigned short uint16_t
Definition: stdint.h:11
unsigned int uint32_t
Definition: stdint.h:14
unsigned char uint8_t
Definition: stdint.h:8
struct configuration_header_toc_item toc_chsettings
Definition: header.h:52
struct configuration_header_toc_item toc_end
Definition: header.h:53
struct configuration_header_settings chsettings
Definition: header.h:56
uint32_t destination
Definition: header.h:47
uint32_t size
Definition: header.h:44
uint8_t bytes[512]
Definition: header.h:62
struct gp_device_header image_header
Definition: header.h:64