static int bt_load_fpga(BT_HANDLE hShell, int argc, char **argv) {
BT_HANDLE hStdout = BT_ShellGetStdout(hShell);
BT_ERROR Error;
if(argc != 4 && argc != 5) {
bt_fprintf(hStdout, "Usage: %s [buffer_address] [fpga_device] [bitstream] [length]\n", argv[0]);
return -1;
}
BT_u32 length = 0;
BT_u32 addr = strtoul(argv[1], NULL, 16);
void *p = (void *) addr;
if(argv[3][0] == '-' && argc == 5) {
// Image loaded and length provided.
length = strtoul(argv[4], NULL, 10);
goto flush;
}
BT_HANDLE hFile = BT_Open(argv[3], BT_GetModeFlags("rb"), &Error);
if(!hFile) {
bt_fprintf(hStdout, "Could not open bitstream at %s\n", argv[3]);
return -1;
}
BT_HANDLE hInode = BT_GetInode(argv[3], &Error);
if(!hInode) {
bt_fprintf(hStdout, "Could not stat bitstream at %s\n", argv[3]);
BT_CloseHandle(hFile);
return -1;
}
BT_INODE oInode;
BT_ReadInode(hInode, &oInode);
BT_kPrint("Loading %s at %08X (%llu bytes)", argv[3], addr, oInode.ullFileSize);
BT_Read(hFile, 0, oInode.ullFileSize, p, &Error);
BT_kPrint("Load successful");
if(hFile) {
BT_CloseHandle(hFile);
}
if(hInode) {
BT_CloseHandle(hInode);
}
length = oInode.ullFileSize;
flush:
BT_DCacheFlush();
BT_HANDLE hFPGA = BT_DeviceOpen(argv[2], &Error);
if(!hFPGA) {
bt_printf("Failed to open fpga device %s\n", argv[2]);
return -1;
}
BT_Write(hFPGA, 0, length, p, &Error);
BT_CloseHandle(hFPGA);
return 0;
}
long bt_sys_read(BT_HANDLE h, BT_u32 ulFlags, BT_u32 len, void *pBuffer) {
return BT_Read(h, 0, len, pBuffer);
}
