blob: f3579bb7eb995721b1ee7b551fbdc5351ca715ca [file] [log] [blame]
wdenk4a9cbbe2002-08-27 09:48:53 +00001/*
2 * (C) Copyright 2000, 2001
3 * Rich Ireland, Enterasys Networks, rireland@enterasys.com.
4 *
5 * See file CREDITS for list of people who contributed to this
6 * project.
7 *
8 * This program is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU General Public License as
10 * published by the Free Software Foundation; either version 2 of
11 * the License, or (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License
19 * along with this program; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
21 * MA 02111-1307 USA
22 *
23 */
24
25/*
26 * FPGA support
27 */
28#include <common.h>
29#include <command.h>
Jon Loeligerbaa26db2007-07-08 17:51:39 -050030#if defined(CONFIG_CMD_NET)
wdenk4a9cbbe2002-08-27 09:48:53 +000031#include <net.h>
32#endif
wdenk8bde7f72003-06-27 21:31:46 +000033#include <fpga.h>
wdenkc3d2b4b2005-01-22 18:13:04 +000034#include <malloc.h>
wdenk4a9cbbe2002-08-27 09:48:53 +000035
wdenk4a9cbbe2002-08-27 09:48:53 +000036/* Local functions */
Michal Simekfc598412013-04-26 13:10:07 +020037static int fpga_get_op(char *opstr);
wdenk4a9cbbe2002-08-27 09:48:53 +000038
39/* Local defines */
40#define FPGA_NONE -1
41#define FPGA_INFO 0
42#define FPGA_LOAD 1
wdenk30ce5ab2005-01-09 18:12:51 +000043#define FPGA_LOADB 2
wdenk4a9cbbe2002-08-27 09:48:53 +000044#define FPGA_DUMP 3
Stefan Roesef0ff4692006-08-15 14:15:51 +020045#define FPGA_LOADMK 4
wdenk4a9cbbe2002-08-27 09:48:53 +000046
wdenk30ce5ab2005-01-09 18:12:51 +000047/* Convert bitstream data and load into the fpga */
Michal Simekfc598412013-04-26 13:10:07 +020048int fpga_loadbitstream(unsigned long dev, char *fpgadata, size_t size)
wdenk30ce5ab2005-01-09 18:12:51 +000049{
Matthias Fuchs01335022007-12-27 17:12:34 +010050#if defined(CONFIG_FPGA_XILINX)
Wolfgang Denk8b019da2005-08-08 00:14:41 +020051 unsigned int length;
Wolfgang Denk8b019da2005-08-08 00:14:41 +020052 unsigned int swapsize;
wdenk30ce5ab2005-01-09 18:12:51 +000053 char buffer[80];
Wolfgang Denk8b019da2005-08-08 00:14:41 +020054 unsigned char *dataptr;
Wolfgang Denk8b019da2005-08-08 00:14:41 +020055 unsigned int i;
wdenk30ce5ab2005-01-09 18:12:51 +000056 int rc;
57
Wolfgang Denk77ddac92005-10-13 16:45:02 +020058 dataptr = (unsigned char *)fpgadata;
wdenk30ce5ab2005-01-09 18:12:51 +000059
Wolfgang Denk8b019da2005-08-08 00:14:41 +020060 /* skip the first bytes of the bitsteam, their meaning is unknown */
Michal Simekfc598412013-04-26 13:10:07 +020061 length = (*dataptr << 8) + *(dataptr + 1);
62 dataptr += 2;
63 dataptr += length;
wdenk30ce5ab2005-01-09 18:12:51 +000064
65 /* get design name (identifier, length, string) */
Michal Simekfc598412013-04-26 13:10:07 +020066 length = (*dataptr << 8) + *(dataptr + 1);
67 dataptr += 2;
wdenk30ce5ab2005-01-09 18:12:51 +000068 if (*dataptr++ != 0x61) {
Michal Simekfc598412013-04-26 13:10:07 +020069 debug("%s: Design name id not recognized in bitstream\n",
70 __func__);
wdenk30ce5ab2005-01-09 18:12:51 +000071 return FPGA_FAIL;
72 }
73
Michal Simekfc598412013-04-26 13:10:07 +020074 length = (*dataptr << 8) + *(dataptr + 1);
75 dataptr += 2;
76 for (i = 0; i < length; i++)
Wolfgang Denkd0ff51b2008-07-14 15:19:07 +020077 buffer[i] = *dataptr++;
wdenka562e1b2005-01-09 18:21:42 +000078
Wolfgang Denk8b019da2005-08-08 00:14:41 +020079 printf(" design filename = \"%s\"\n", buffer);
wdenk30ce5ab2005-01-09 18:12:51 +000080
81 /* get part number (identifier, length, string) */
82 if (*dataptr++ != 0x62) {
Michal Simekfc598412013-04-26 13:10:07 +020083 printf("%s: Part number id not recognized in bitstream\n",
84 __func__);
wdenk30ce5ab2005-01-09 18:12:51 +000085 return FPGA_FAIL;
86 }
wdenka562e1b2005-01-09 18:21:42 +000087
Michal Simekfc598412013-04-26 13:10:07 +020088 length = (*dataptr << 8) + *(dataptr + 1);
89 dataptr += 2;
90 for (i = 0; i < length; i++)
Wolfgang Denkd0ff51b2008-07-14 15:19:07 +020091 buffer[i] = *dataptr++;
Wolfgang Denk8b019da2005-08-08 00:14:41 +020092 printf(" part number = \"%s\"\n", buffer);
wdenka562e1b2005-01-09 18:21:42 +000093
wdenk30ce5ab2005-01-09 18:12:51 +000094 /* get date (identifier, length, string) */
95 if (*dataptr++ != 0x63) {
Wolfgang Denk8b019da2005-08-08 00:14:41 +020096 printf("%s: Date identifier not recognized in bitstream\n",
Stefano Babic06297db2011-12-28 06:47:01 +000097 __func__);
wdenk30ce5ab2005-01-09 18:12:51 +000098 return FPGA_FAIL;
99 }
wdenka562e1b2005-01-09 18:21:42 +0000100
Wolfgang Denk8b019da2005-08-08 00:14:41 +0200101 length = (*dataptr << 8) + *(dataptr+1);
Michal Simekfc598412013-04-26 13:10:07 +0200102 dataptr += 2;
103 for (i = 0; i < length; i++)
Wolfgang Denkd0ff51b2008-07-14 15:19:07 +0200104 buffer[i] = *dataptr++;
Wolfgang Denk8b019da2005-08-08 00:14:41 +0200105 printf(" date = \"%s\"\n", buffer);
wdenk30ce5ab2005-01-09 18:12:51 +0000106
107 /* get time (identifier, length, string) */
108 if (*dataptr++ != 0x64) {
Stefano Babic06297db2011-12-28 06:47:01 +0000109 printf("%s: Time identifier not recognized in bitstream\n",
Michal Simekfc598412013-04-26 13:10:07 +0200110 __func__);
wdenk30ce5ab2005-01-09 18:12:51 +0000111 return FPGA_FAIL;
112 }
wdenka562e1b2005-01-09 18:21:42 +0000113
Wolfgang Denk8b019da2005-08-08 00:14:41 +0200114 length = (*dataptr << 8) + *(dataptr+1);
Michal Simekfc598412013-04-26 13:10:07 +0200115 dataptr += 2;
116 for (i = 0; i < length; i++)
Wolfgang Denkd0ff51b2008-07-14 15:19:07 +0200117 buffer[i] = *dataptr++;
Wolfgang Denk8b019da2005-08-08 00:14:41 +0200118 printf(" time = \"%s\"\n", buffer);
wdenka562e1b2005-01-09 18:21:42 +0000119
wdenk30ce5ab2005-01-09 18:12:51 +0000120 /* get fpga data length (identifier, length) */
121 if (*dataptr++ != 0x65) {
Michal Simekfc598412013-04-26 13:10:07 +0200122 printf("%s: Data length id not recognized in bitstream\n",
123 __func__);
wdenk30ce5ab2005-01-09 18:12:51 +0000124 return FPGA_FAIL;
125 }
Michal Simekfc598412013-04-26 13:10:07 +0200126 swapsize = ((unsigned int) *dataptr << 24) +
127 ((unsigned int) *(dataptr + 1) << 16) +
128 ((unsigned int) *(dataptr + 2) << 8) +
129 ((unsigned int) *(dataptr + 3));
130 dataptr += 4;
Wolfgang Denk8b019da2005-08-08 00:14:41 +0200131 printf(" bytes in bitstream = %d\n", swapsize);
wdenka562e1b2005-01-09 18:21:42 +0000132
Matthias Fuchsc26acc12007-12-27 17:13:11 +0100133 rc = fpga_load(dev, dataptr, swapsize);
wdenk30ce5ab2005-01-09 18:12:51 +0000134 return rc;
135#else
Wolfgang Denk8b019da2005-08-08 00:14:41 +0200136 printf("Bitstream support only for Xilinx devices\n");
wdenk30ce5ab2005-01-09 18:12:51 +0000137 return FPGA_FAIL;
138#endif
139}
140
wdenk4a9cbbe2002-08-27 09:48:53 +0000141/* ------------------------------------------------------------------------- */
142/* command form:
143 * fpga <op> <device number> <data addr> <datasize>
144 * where op is 'load', 'dump', or 'info'
145 * If there is no device number field, the fpga environment variable is used.
146 * If there is no data addr field, the fpgadata environment variable is used.
147 * The info command requires no data address field.
148 */
Michal Simekfc598412013-04-26 13:10:07 +0200149int do_fpga(cmd_tbl_t *cmdtp, int flag, int argc, char *const argv[])
wdenk4a9cbbe2002-08-27 09:48:53 +0000150{
wdenkd4ca31c2004-01-02 14:00:00 +0000151 int op, dev = FPGA_INVALID_DEVICE;
152 size_t data_size = 0;
153 void *fpga_data = NULL;
Michal Simekfc598412013-04-26 13:10:07 +0200154 char *devstr = getenv("fpga");
155 char *datastr = getenv("fpgadata");
wdenkd4ca31c2004-01-02 14:00:00 +0000156 int rc = FPGA_FAIL;
Stefano Babica790b5b2010-10-19 09:22:52 +0200157 int wrong_parms = 0;
Michal Simekfc598412013-04-26 13:10:07 +0200158#if defined(CONFIG_FIT)
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100159 const char *fit_uname = NULL;
160 ulong fit_addr;
161#endif
wdenk4a9cbbe2002-08-27 09:48:53 +0000162
wdenkd4ca31c2004-01-02 14:00:00 +0000163 if (devstr)
Michal Simekfc598412013-04-26 13:10:07 +0200164 dev = (int) simple_strtoul(devstr, NULL, 16);
wdenkd4ca31c2004-01-02 14:00:00 +0000165 if (datastr)
Michal Simekfc598412013-04-26 13:10:07 +0200166 fpga_data = (void *)simple_strtoul(datastr, NULL, 16);
wdenk4a9cbbe2002-08-27 09:48:53 +0000167
wdenkd4ca31c2004-01-02 14:00:00 +0000168 switch (argc) {
169 case 5: /* fpga <op> <dev> <data> <datasize> */
Michal Simekfc598412013-04-26 13:10:07 +0200170 data_size = simple_strtoul(argv[4], NULL, 16);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100171
wdenkd4ca31c2004-01-02 14:00:00 +0000172 case 4: /* fpga <op> <dev> <data> */
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100173#if defined(CONFIG_FIT)
Michal Simekfc598412013-04-26 13:10:07 +0200174 if (fit_parse_subimage(argv[3], (ulong)fpga_data,
175 &fit_addr, &fit_uname)) {
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100176 fpga_data = (void *)fit_addr;
Michal Simekfc598412013-04-26 13:10:07 +0200177 debug("* fpga: subimage '%s' from FIT image ",
178 fit_uname);
179 debug("at 0x%08lx\n", fit_addr);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100180 } else
181#endif
182 {
Michal Simekfc598412013-04-26 13:10:07 +0200183 fpga_data = (void *)simple_strtoul(argv[3], NULL, 16);
Stefano Babic06297db2011-12-28 06:47:01 +0000184 debug("* fpga: cmdline image address = 0x%08lx\n",
Michal Simekfc598412013-04-26 13:10:07 +0200185 (ulong)fpga_data);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100186 }
Michal Simekfc598412013-04-26 13:10:07 +0200187 debug("%s: fpga_data = 0x%x\n", __func__, (uint)fpga_data);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100188
wdenkd4ca31c2004-01-02 14:00:00 +0000189 case 3: /* fpga <op> <dev | data addr> */
Michal Simekfc598412013-04-26 13:10:07 +0200190 dev = (int)simple_strtoul(argv[2], NULL, 16);
Stefano Babic06297db2011-12-28 06:47:01 +0000191 debug("%s: device = %d\n", __func__, dev);
wdenkd4ca31c2004-01-02 14:00:00 +0000192 /* FIXME - this is a really weak test */
Michal Simekfc598412013-04-26 13:10:07 +0200193 if ((argc == 3) && (dev > fpga_count())) {
194 /* must be buffer ptr */
Stefano Babic06297db2011-12-28 06:47:01 +0000195 debug("%s: Assuming buffer pointer in arg 3\n",
Michal Simekfc598412013-04-26 13:10:07 +0200196 __func__);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100197
198#if defined(CONFIG_FIT)
Michal Simekfc598412013-04-26 13:10:07 +0200199 if (fit_parse_subimage(argv[2], (ulong)fpga_data,
200 &fit_addr, &fit_uname)) {
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100201 fpga_data = (void *)fit_addr;
Michal Simekfc598412013-04-26 13:10:07 +0200202 debug("* fpga: subimage '%s' from FIT image ",
203 fit_uname);
204 debug("at 0x%08lx\n", fit_addr);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100205 } else
206#endif
207 {
Michal Simekfc598412013-04-26 13:10:07 +0200208 fpga_data = (void *)dev;
209 debug("* fpga: cmdline image addr = 0x%08lx\n",
210 (ulong)fpga_data);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100211 }
212
Stefano Babic06297db2011-12-28 06:47:01 +0000213 debug("%s: fpga_data = 0x%x\n",
Michal Simekfc598412013-04-26 13:10:07 +0200214 __func__, (uint)fpga_data);
wdenkd4ca31c2004-01-02 14:00:00 +0000215 dev = FPGA_INVALID_DEVICE; /* reset device num */
216 }
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100217
wdenkd4ca31c2004-01-02 14:00:00 +0000218 case 2: /* fpga <op> */
Michal Simekfc598412013-04-26 13:10:07 +0200219 op = (int)fpga_get_op(argv[1]);
wdenkd4ca31c2004-01-02 14:00:00 +0000220 break;
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100221
wdenkd4ca31c2004-01-02 14:00:00 +0000222 default:
Michal Simekfc598412013-04-26 13:10:07 +0200223 debug("%s: Too many or too few args (%d)\n", __func__, argc);
wdenkd4ca31c2004-01-02 14:00:00 +0000224 op = FPGA_NONE; /* force usage display */
225 break;
226 }
wdenk4a9cbbe2002-08-27 09:48:53 +0000227
Stefano Babica790b5b2010-10-19 09:22:52 +0200228 if (dev == FPGA_INVALID_DEVICE) {
229 puts("FPGA device not specified\n");
230 op = FPGA_NONE;
231 }
232
233 switch (op) {
234 case FPGA_NONE:
235 case FPGA_INFO:
236 break;
237 case FPGA_LOAD:
238 case FPGA_LOADB:
239 case FPGA_DUMP:
240 if (!fpga_data || !data_size)
241 wrong_parms = 1;
242 break;
243 case FPGA_LOADMK:
244 if (!fpga_data)
245 wrong_parms = 1;
246 break;
247 }
248
249 if (wrong_parms) {
250 puts("Wrong parameters for FPGA request\n");
251 op = FPGA_NONE;
252 }
253
wdenkd4ca31c2004-01-02 14:00:00 +0000254 switch (op) {
255 case FPGA_NONE:
Simon Glass4c12eeb2011-12-10 08:44:01 +0000256 return CMD_RET_USAGE;
wdenk4a9cbbe2002-08-27 09:48:53 +0000257
wdenkd4ca31c2004-01-02 14:00:00 +0000258 case FPGA_INFO:
Michal Simekfc598412013-04-26 13:10:07 +0200259 rc = fpga_info(dev);
wdenkd4ca31c2004-01-02 14:00:00 +0000260 break;
wdenk4a9cbbe2002-08-27 09:48:53 +0000261
wdenkd4ca31c2004-01-02 14:00:00 +0000262 case FPGA_LOAD:
Michal Simekfc598412013-04-26 13:10:07 +0200263 rc = fpga_load(dev, fpga_data, data_size);
wdenkd4ca31c2004-01-02 14:00:00 +0000264 break;
wdenk4a9cbbe2002-08-27 09:48:53 +0000265
wdenk30ce5ab2005-01-09 18:12:51 +0000266 case FPGA_LOADB:
267 rc = fpga_loadbitstream(dev, fpga_data, data_size);
268 break;
269
Stefan Roesef0ff4692006-08-15 14:15:51 +0200270 case FPGA_LOADMK:
Michal Simekfc598412013-04-26 13:10:07 +0200271 switch (genimg_get_format(fpga_data)) {
Marian Balakowiczd5934ad2008-02-04 08:28:09 +0100272 case IMAGE_FORMAT_LEGACY:
273 {
Michal Simekfc598412013-04-26 13:10:07 +0200274 image_header_t *hdr =
275 (image_header_t *)fpga_data;
276 ulong data;
Stefan Roesef0ff4692006-08-15 14:15:51 +0200277
Michal Simekfc598412013-04-26 13:10:07 +0200278 data = (ulong)image_get_data(hdr);
279 data_size = image_get_data_size(hdr);
280 rc = fpga_load(dev, (void *)data, data_size);
Stefan Roesef0ff4692006-08-15 14:15:51 +0200281 }
Marian Balakowiczd5934ad2008-02-04 08:28:09 +0100282 break;
283#if defined(CONFIG_FIT)
284 case IMAGE_FORMAT_FIT:
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100285 {
286 const void *fit_hdr = (const void *)fpga_data;
287 int noffset;
Wolfgang Denke6a857d2011-07-30 13:33:49 +0000288 const void *fit_data;
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100289
290 if (fit_uname == NULL) {
Michal Simekfc598412013-04-26 13:10:07 +0200291 puts("No FIT subimage unit name\n");
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100292 return 1;
293 }
294
Michal Simekfc598412013-04-26 13:10:07 +0200295 if (!fit_check_format(fit_hdr)) {
296 puts("Bad FIT image format\n");
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100297 return 1;
298 }
299
300 /* get fpga component image node offset */
Michal Simekfc598412013-04-26 13:10:07 +0200301 noffset = fit_image_get_node(fit_hdr,
302 fit_uname);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100303 if (noffset < 0) {
Michal Simekfc598412013-04-26 13:10:07 +0200304 printf("Can't find '%s' FIT subimage\n",
305 fit_uname);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100306 return 1;
307 }
308
309 /* verify integrity */
Michal Simekfc598412013-04-26 13:10:07 +0200310 if (!fit_image_check_hashes(fit_hdr, noffset)) {
311 puts("Bad Data Hash\n");
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100312 return 1;
313 }
314
315 /* get fpga subimage data address and length */
Michal Simekfc598412013-04-26 13:10:07 +0200316 if (fit_image_get_data(fit_hdr, noffset,
317 &fit_data, &data_size)) {
318 puts("Fpga subimage data not found\n");
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100319 return 1;
320 }
321
Michal Simekfc598412013-04-26 13:10:07 +0200322 rc = fpga_load(dev, fit_data, data_size);
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100323 }
Marian Balakowiczd5934ad2008-02-04 08:28:09 +0100324 break;
325#endif
326 default:
Michal Simekfc598412013-04-26 13:10:07 +0200327 puts("** Unknown image type\n");
Marian Balakowiczd5934ad2008-02-04 08:28:09 +0100328 rc = FPGA_FAIL;
329 break;
Stefan Roesef0ff4692006-08-15 14:15:51 +0200330 }
331 break;
332
wdenkd4ca31c2004-01-02 14:00:00 +0000333 case FPGA_DUMP:
Michal Simekfc598412013-04-26 13:10:07 +0200334 rc = fpga_dump(dev, fpga_data, data_size);
wdenkd4ca31c2004-01-02 14:00:00 +0000335 break;
wdenk4a9cbbe2002-08-27 09:48:53 +0000336
wdenkd4ca31c2004-01-02 14:00:00 +0000337 default:
Michal Simekfc598412013-04-26 13:10:07 +0200338 printf("Unknown operation\n");
Simon Glass4c12eeb2011-12-10 08:44:01 +0000339 return CMD_RET_USAGE;
wdenkd4ca31c2004-01-02 14:00:00 +0000340 }
Michal Simekfc598412013-04-26 13:10:07 +0200341 return rc;
wdenk4a9cbbe2002-08-27 09:48:53 +0000342}
343
wdenk4a9cbbe2002-08-27 09:48:53 +0000344/*
345 * Map op to supported operations. We don't use a table since we
346 * would just have to relocate it from flash anyway.
347 */
Michal Simekfc598412013-04-26 13:10:07 +0200348static int fpga_get_op(char *opstr)
wdenk4a9cbbe2002-08-27 09:48:53 +0000349{
350 int op = FPGA_NONE;
351
Michal Simekfc598412013-04-26 13:10:07 +0200352 if (!strcmp("info", opstr))
wdenk4a9cbbe2002-08-27 09:48:53 +0000353 op = FPGA_INFO;
Michal Simekfc598412013-04-26 13:10:07 +0200354 else if (!strcmp("loadb", opstr))
wdenk30ce5ab2005-01-09 18:12:51 +0000355 op = FPGA_LOADB;
Michal Simekfc598412013-04-26 13:10:07 +0200356 else if (!strcmp("load", opstr))
wdenk4a9cbbe2002-08-27 09:48:53 +0000357 op = FPGA_LOAD;
Michal Simekfc598412013-04-26 13:10:07 +0200358 else if (!strcmp("loadmk", opstr))
Stefan Roesef0ff4692006-08-15 14:15:51 +0200359 op = FPGA_LOADMK;
Michal Simekfc598412013-04-26 13:10:07 +0200360 else if (!strcmp("dump", opstr))
wdenk4a9cbbe2002-08-27 09:48:53 +0000361 op = FPGA_DUMP;
wdenk4a9cbbe2002-08-27 09:48:53 +0000362
Michal Simekfc598412013-04-26 13:10:07 +0200363 if (op == FPGA_NONE)
364 printf("Unknown fpga operation \"%s\"\n", opstr);
365
wdenk4a9cbbe2002-08-27 09:48:53 +0000366 return op;
367}
368
Michal Simekfc598412013-04-26 13:10:07 +0200369U_BOOT_CMD(fpga, 6, 1, do_fpga,
370 "loadable FPGA image support",
371 "[operation type] [device number] [image address] [image size]\n"
372 "fpga operations:\n"
373 " dump\t[dev]\t\t\tLoad device to memory buffer\n"
374 " info\t[dev]\t\t\tlist known device information\n"
375 " load\t[dev] [address] [size]\tLoad device from memory buffer\n"
376 " loadb\t[dev] [address] [size]\t"
377 "Load device from bitstream buffer (Xilinx only)\n"
378 " loadmk [dev] [address]\tLoad device generated with mkimage"
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100379#if defined(CONFIG_FIT)
Michal Simekfc598412013-04-26 13:10:07 +0200380 "\n"
381 "\tFor loadmk operating on FIT format uImage address must include\n"
382 "\tsubimage unit name in the form of addr:<subimg_uname>"
Marian Balakowiczc28c4d12008-03-12 10:33:01 +0100383#endif
384);