1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2022 Sean Anderson <sean.anderson@seco.com>
9 #include <semihosting.h>
12 static int smh_read_full(long fd, void *memp, size_t len)
16 read = smh_read(fd, memp, len);
24 static int spl_smh_load_image(struct spl_image_info *spl_image,
25 struct spl_boot_device *bootdev)
27 const char *filename = CONFIG_SPL_FS_LOAD_PAYLOAD_NAME;
30 struct image_header *header =
31 spl_get_load_buffer(-sizeof(*header), sizeof(*header));
33 fd = smh_open(filename, MODE_READ | MODE_BINARY);
35 log_debug("could not open %s: %ld\n", filename, fd);
41 log_debug("could not get length of image: %d\n", ret);
46 ret = smh_read_full(fd, header, sizeof(struct image_header));
48 log_debug("could not read image header: %d\n", ret);
52 ret = spl_parse_image_header(spl_image, bootdev, header);
54 log_debug("failed to parse image header: %d\n", ret);
58 ret = smh_seek(fd, 0);
60 log_debug("could not seek to start of image: %d\n", ret);
64 ret = smh_read_full(fd, (void *)spl_image->load_addr, len);
66 log_debug("could not read %s: %d\n", filename, ret);
71 SPL_LOAD_IMAGE_METHOD("SEMIHOSTING", 0, BOOT_DEVICE_SMH, spl_smh_load_image);