mirror of
https://github.com/openhwgroup/cvw
synced 2025-02-03 10:15:19 +00:00
b3aaa87cba
Since writing an SD card image generation script, the bootloader needed to be altered to access individual binaries from specific partitions. A new file, gpt.c with it's header gpt.h, have been added to the bootloader to facilitate this. The SDC has been added to the device tree for the VCU108 board. Additionally the SDC interrupt signal was added to the PLIC node in the device tree. The PLIC itself was modified to accept the SDC interrupt signal.
27 lines
950 B
C
27 lines
950 B
C
#ifndef WALLYBOOT
|
|
#define WALLYBOOT 10000
|
|
|
|
#include <stdint.h>
|
|
typedef unsigned int UINT; /* int must be 16-bit or 32-bit */
|
|
typedef unsigned char BYTE; /* char must be 8-bit */
|
|
typedef uint16_t WORD; /* 16-bit unsigned integer */
|
|
typedef uint32_t DWORD; /* 32-bit unsigned integer */
|
|
typedef uint64_t QWORD; /* 64-bit unsigned integer */
|
|
typedef WORD WCHAR;
|
|
|
|
typedef QWORD LBA_t;
|
|
|
|
// Define memory locations of boot images =====================
|
|
// These locations are copied from the generic configuration
|
|
// of OpenSBI. These addresses can be found in:
|
|
// buildroot/output/build/opensbi-0.9/platform/generic/config.mk
|
|
#define FDT_ADDRESS 0x80200000 // FW_JUMP_FDT_ADDR
|
|
#define OPENSBI_ADDRESS 0x80000000 // FW_TEXT_START
|
|
#define KERNEL_ADDRESS 0x82200000 // FW_JUMP_ADDR
|
|
|
|
// Export disk_read
|
|
int disk_read(BYTE * buf, LBA_t sector, UINT count, BYTE card_type);
|
|
|
|
#endif // WALLYBOOT
|
|
|