mirror of
https://github.com/openhwgroup/cvw
synced 2025-01-23 21:14:37 +00:00
37 lines
1.6 KiB
C
37 lines
1.6 KiB
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 0x87000000 // FW_JUMP_FDT_ADDR
|
|
#define OPENSBI_ADDRESS 0x80000000 // FW_TEXT_START
|
|
#define KERNEL_ADDRESS 0x80200000 // FW_JUMP_ADDR
|
|
|
|
#define BANNER " █▀█ █▀█ █▀█ █▀▀ █ █\n" \
|
|
" █ █ █ █▄▀ █▄▄ ▄▄▄ █ █\n" \
|
|
" █▄█ █▄█ █ █ █▄▄ ▀▄▀\n" \
|
|
" ____ ____ ____ ___ ___ ____ ___\n" \
|
|
" \\ \\ / / / \\ | | | | \\ \\ / /\n" \
|
|
" \\ \\ __ / / / \\ | | | | \\ \\/ /\n" \
|
|
" \\ \\/ \\/ / / /\\ \\ | | | | \\ /\n" \
|
|
" \\ / / ____ \\ | |___ | |___ | |\n" \
|
|
" \\___/\\___/ /___/ \\___\\|_______||_______| |___|\n\n"
|
|
|
|
// Export disk_read
|
|
int disk_read(BYTE * buf, LBA_t sector, UINT count, BYTE card_type);
|
|
|
|
#endif // WALLYBOOT
|
|
|