<div dir="ltr">Aaron,<div><br></div><div>Please look at my recent post to devel@ about new defects reported by Coverity Scan. There are two in main_flashdev.c. One is really easy and reflects a missing close(fd) on an error path. The other looks harder. I don't see how flashdev ever gets set. Looks like a NULL is passed to a lot of methods.</div><div><br></div><div>Please submit patches for each and include the CID number in the commit.</div><div><br></div><div>Thanks.</div><div><br></div><div>--joel</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, May 1, 2023 at 12:20 AM <<a href="mailto:aaron.nyholm@unfoldedeffective.com">aaron.nyholm@unfoldedeffective.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">From: Aaron Nyholm <<a href="mailto:aaron.nyholm@southerninnovation.com" target="_blank">aaron.nyholm@southerninnovation.com</a>><br>
<br>
---<br>
cpukit/include/rtems/shellconfig.h | 7 +<br>
cpukit/libmisc/shell/main_flashdev.c | 592 +++++++++++++++++++++++++++<br>
spec/build/cpukit/objshell.yml | 1 +<br>
3 files changed, 600 insertions(+)<br>
create mode 100644 cpukit/libmisc/shell/main_flashdev.c<br>
<br>
diff --git a/cpukit/include/rtems/shellconfig.h b/cpukit/include/rtems/shellconfig.h<br>
index a013840ee7..489f281400 100644<br>
--- a/cpukit/include/rtems/shellconfig.h<br>
+++ b/cpukit/include/rtems/shellconfig.h<br>
@@ -98,6 +98,7 @@ extern rtems_shell_cmd_t rtems_shell_MD5_Command;<br>
<br>
extern rtems_shell_cmd_t rtems_shell_RTC_Command;<br>
extern rtems_shell_cmd_t rtems_shell_SPI_Command;<br>
+extern rtems_shell_cmd_t rtems_shell_FLASHDEV_Command;<br>
extern rtems_shell_cmd_t rtems_shell_I2CDETECT_Command;<br>
extern rtems_shell_cmd_t rtems_shell_I2CGET_Command;<br>
extern rtems_shell_cmd_t rtems_shell_I2CSET_Command;<br>
@@ -556,6 +557,12 @@ extern rtems_shell_alias_t * const rtems_shell_Initial_aliases[];<br>
&rtems_shell_SPI_Command,<br>
#endif<br>
<br>
+ #if (defined(CONFIGURE_SHELL_COMMANDS_ALL) \<br>
+ && !defined(CONFIGURE_SHELL_NO_COMMAND_FLASHDEV)) \<br>
+ || defined(CONFIGURE_SHELL_COMMAND_FLASHDEV)<br>
+ &rtems_shell_FLASHDEV_Command,<br>
+ #endif<br>
+<br>
#if (defined(CONFIGURE_SHELL_COMMANDS_ALL) \<br>
&& !defined(CONFIGURE_SHELL_NO_COMMAND_I2CDETECT)) \<br>
|| defined(CONFIGURE_SHELL_COMMAND_I2CDETECT)<br>
diff --git a/cpukit/libmisc/shell/main_flashdev.c b/cpukit/libmisc/shell/main_flashdev.c<br>
new file mode 100644<br>
index 0000000000..5484e7d7f9<br>
--- /dev/null<br>
+++ b/cpukit/libmisc/shell/main_flashdev.c<br>
@@ -0,0 +1,592 @@<br>
+/*<br>
+ * Copyright (C) 2023 Aaron Nyholm<br>
+ *<br>
+ * Redistribution and use in source and binary forms, with or without<br>
+ * modification, are permitted provided that the following conditions<br>
+ * are met:<br>
+ * 1. Redistributions of source code must retain the above copyright<br>
+ * notice, this list of conditions and the following disclaimer.<br>
+ * 2. Redistributions in binary form must reproduce the above copyright<br>
+ * notice, this list of conditions and the following disclaimer in the<br>
+ * documentation and/or other materials provided with the distribution.<br>
+ *<br>
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"<br>
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE<br>
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE<br>
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE<br>
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR<br>
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF<br>
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS<br>
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN<br>
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)<br>
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE<br>
+ * POSSIBILITY OF SUCH DAMAGE.<br>
+ */<br>
+<br>
+#include <fcntl.h><br>
+#include <stdio.h><br>
+#include <stdlib.h><br>
+<br>
+#include <errno.h><br>
+#include <rtems/shell.h><br>
+<br>
+#include <dev/flash/flashdev.h><br>
+<br>
+static int flashdev_shell_read(char *dev_path, int argc, char *argv[]);<br>
+static int flashdev_shell_write(char *dev_path, int argc, char *argv[]);<br>
+static int flashdev_shell_erase(char *dev_path, int argc, char *argv[]);<br>
+static int flashdev_shell_type(char *dev_path);<br>
+static int flashdev_shell_jedecid(char *dev_path);<br>
+static int flashdev_shell_page_off(char *dev_path, int argc, char *argv[]);<br>
+static int flashdev_shell_page_idx(char *dev_path, int argc, char *argv[]);<br>
+static int flashdev_shell_pg_count(char *dev_path);<br>
+static int flashdev_shell_wb_size(char *dev_path);<br>
+<br>
+static int flashdev_shell_ioctl_value(<br>
+ char *dev_path,<br>
+ int ioctl_call,<br>
+ void *ret<br>
+);<br>
+<br>
+static int flashdev_shell_page(<br>
+ char *dev_path,<br>
+ int argc,<br>
+ char *argv[],<br>
+ int ioctl_call<br>
+);<br>
+<br>
+static const char rtems_flashdev_shell_usage [] =<br>
+ "simple flash read / write / erase\n"<br>
+ "\n"<br>
+ "flashdev <FLASH_DEV_PATH> [OPTION]\n"<br>
+ " -r <address> <bytes> Read at address for bytes\n"<br>
+ " -w <address> <file> Write file to address\n"<br>
+ " -e <address> <bytes> Erase at address for bytes\n"<br>
+ " -t Print the flash type\n"<br>
+ " -d Print the JEDEC ID of flash device\n"<br>
+ " -o <address> Print the page information of page at address\n"<br>
+ " -i <index> Print the page information of page at index\n"<br>
+ " -p Print the number of pages\n"<br>
+ " -b Print the write block size\n"<br>
+ " -h Print this help\n";<br>
+<br>
+<br>
+static int rtems_flashdev_shell_main( int argc, char *argv[] ) {<br>
+<br>
+ char *dev_path = NULL;<br>
+ int i;<br>
+<br>
+ for (i = 1; i < argc; ++i) {<br>
+ if (argv[i][0] == '-') {<br>
+ switch (argv[i][1]) {<br>
+ case ('r'):<br>
+ /* Read */<br>
+ return flashdev_shell_read(dev_path, argc, &argv[i]);<br>
+ case ('w'):<br>
+ /* Write */<br>
+ return flashdev_shell_write(dev_path, argc, &argv[i]);<br>
+ case ('e'):<br>
+ /* Erase */<br>
+ return flashdev_shell_erase(dev_path, argc, &argv[i]);<br>
+ case ('t'):<br>
+ /* Flash Type */<br>
+ return flashdev_shell_type(dev_path);<br>
+ case ('d'):<br>
+ /* JEDEC Id */<br>
+ return flashdev_shell_jedecid(dev_path);<br>
+ case ('o'):<br>
+ /* Page info by offset */<br>
+ return flashdev_shell_page_off(dev_path, argc, &argv[i]);<br>
+ case ('i'):<br>
+ /* Page info by index */<br>
+ return flashdev_shell_page_idx(dev_path, argc, &argv[i]);<br>
+ case ('p'):<br>
+ /* Page count */<br>
+ return flashdev_shell_pg_count(dev_path);<br>
+ case ('b'):<br>
+ /* Write block size */<br>
+ return flashdev_shell_wb_size(dev_path);<br>
+ //return flashdev_shell_pg_count(dev_path);<br>
+ case ('h'):<br>
+ default:<br>
+ /* Help */<br>
+ printf(rtems_flashdev_shell_usage);<br>
+ break;<br>
+ }<br>
+<br>
+ } else if (dev_path == NULL) {<br>
+ dev_path = argv[i];<br>
+ } else {<br>
+ printf("Invalid argument: %s\n", argv[i]);<br>
+ return 1;<br>
+ }<br>
+ }<br>
+<br>
+ if (argc == 1) {<br>
+ printf(rtems_flashdev_shell_usage);<br>
+ }<br>
+<br>
+ return 0;<br>
+}<br>
+<br>
+int flashdev_shell_read(<br>
+ char *dev_path,<br>
+ int argc,<br>
+ char *argv[]<br>
+)<br>
+{<br>
+ uint32_t address;<br>
+ uint32_t bytes;<br>
+ int fd;<br>
+ int status;<br>
+ void *buffer;<br>
+<br>
+ /* Check arguments */<br>
+ if (argc < 5) {<br>
+ printf("Missing argument\n");<br>
+ return -1;<br>
+ }<br>
+ if (dev_path == NULL) {<br>
+ printf("Please input FLASH_DEV_PATH before instruction\n");<br>
+ return 1;<br>
+ }<br>
+<br>
+ /* Get arguments */<br>
+ errno = 0;<br>
+ address = (uint32_t) strtoul(argv[1], NULL, 0);<br>
+ if (errno != 0) {<br>
+ printf("Could not read address\n");<br>
+ }<br>
+ errno = 0;<br>
+ bytes = (uint32_t) strtoul(argv[2], NULL, 0);<br>
+ if (errno != 0) {<br>
+ printf("Could not read address\n");<br>
+ }<br>
+ <br>
+ /* Open flash device */<br>
+ fd = open(dev_path, O_RDONLY);<br>
+ if (fd == -1) {<br>
+ printf("Couldn't open %s\n", dev_path);<br>
+ return -1;<br>
+ }<br>
+<br>
+ /* Move to address */<br>
+ status = lseek(fd, address, SEEK_SET);<br>
+ if (status == -1) {<br>
+ printf("Reading failed\n");<br>
+ close(fd);<br>
+ return -1;<br>
+ }<br>
+<br>
+ /* Create a buffer to read into */<br>
+ buffer = calloc((bytes + bytes%4), 1);<br>
+ if (buffer == NULL) {<br>
+ printf("Failed to allocate read buffer\n");<br>
+ return -1;<br>
+ }<br>
+<br>
+ /* Read into buffer */<br>
+ status = read(fd, buffer, bytes);<br>
+ if (status == -1) {<br>
+ printf("Reading failed\n");<br>
+ free(buffer);<br>
+ close(fd);<br>
+ return -1;<br>
+ }<br>
+<br>
+ /* Print buffer out in 32bit blocks */<br>
+ printf("Reading %s at 0x%08x for %d bytes\n", dev_path, address, bytes);<br>
+ for (int i = 0; i < (bytes/4); i++) {<br>
+ printf("%08x ", ((uint32_t*)buffer)[i]);<br>
+ if ((i+1)%4 == 0) {<br>
+ printf("\n");<br>
+ }<br>
+ }<br>
+ printf("\n");<br>
+<br>
+ /* Clean up */<br>
+ free(buffer);<br>
+ close(fd);<br>
+ return 0;<br>
+}<br>
+<br>
+int flashdev_shell_write(<br>
+ char *dev_path,<br>
+ int argc,<br>
+ char *argv[]<br>
+)<br>
+{<br>
+ uint32_t address;<br>
+ int flash;<br>
+ int file;<br>
+ int status;<br>
+ int read_len;<br>
+ off_t length;<br>
+ void *buffer;<br>
+ uint32_t offset;<br>
+ char *file_path;<br>
+<br>
+ /* Check arguments */<br>
+ if (argc < 5) {<br>
+ printf("Missing argument\n");<br>
+ return -1;<br>
+ }<br>
+ if (dev_path == NULL) {<br>
+ printf("Please input FLASH_DEV_PATH before instruction\n");<br>
+ return 1;<br>
+ }<br>
+<br>
+ /* Get arguments */<br>
+ errno = 0;<br>
+ address = (uint32_t) strtoul(argv[1], NULL, 0);<br>
+ if (errno != 0) {<br>
+ printf("Could not read address\n");<br>
+ }<br>
+ errno = 0;<br>
+ file_path = argv[2];<br>
+<br>
+ /* Open flash device and move to write offset */<br>
+ flash = open(dev_path, O_WRONLY);<br>
+ if (flash == -1) {<br>
+ printf("Couldn't open %s\n", dev_path);<br>
+ return -1;<br>
+ }<br>
+ status = lseek(flash, address, SEEK_SET);<br>
+ if (status == -1) {<br>
+ printf("Reading failed\n");<br>
+ close(flash);<br>
+ return -1;<br>
+ }<br>
+<br>
+ /* Open file and get file length */<br>
+ file = open(file_path, O_RDONLY);<br>
+ if (file == -1) {<br>
+ printf("Couldn't open %s\n", file_path);<br>
+ close(flash);<br>
+ return -1;<br>
+ }<br>
+<br>
+ length = lseek(file, 0, SEEK_END);<br>
+ if (length == -1) {<br>
+ close(flash);<br>
+ close(file);<br>
+ printf("Couldn't find length of file\n");<br>
+ return -1;<br>
+ }<br>
+<br>
+ if (lseek(file, 0, SEEK_SET) == -1) {<br>
+ close(flash);<br>
+ close(file);<br>
+ printf("Couldn't find length of file\n");<br>
+ return -1;<br>
+ }<br>
+<br>
+ /* Create buffer */<br>
+ buffer = calloc(1, 0x1000);<br>
+<br>
+ /* Write file to flash device in 0x1000 byte chunks */<br>
+ offset = 0;<br>
+ while (offset != length) {<br>
+<br>
+ read_len = length - offset;<br>
+ if (read_len > 0x1000) {<br>
+ read_len = 0x1000;<br>
+ }<br>
+<br>
+ status = read(file, buffer, read_len);<br>
+ if (status == -1) {<br>
+ free(buffer);<br>
+ close(flash);<br>
+ close(file);<br>
+ printf("Can't read %s\n", file_path);<br>
+ return -1;<br>
+ }<br>
+<br>
+ status = write(flash, buffer, read_len);<br>
+ if (status == -1) {<br>
+ free(buffer);<br>
+ close(flash);<br>
+ close(file);<br>
+ printf("Can't write %s\n", dev_path);<br>
+ return -1;<br>
+ }<br>
+<br>
+ offset = offset + read_len;<br>
+ }<br>
+<br>
+ /* Clean up */<br>
+ close(flash);<br>
+ close(file);<br>
+ free(buffer);<br>
+ return 0;<br>
+}<br>
+<br>
+int flashdev_shell_erase(<br>
+ char *dev_path,<br>
+ int argc,<br>
+ char *argv[]<br>
+)<br>
+{<br>
+ uint32_t address;<br>
+ uint32_t bytes;<br>
+ int fd;<br>
+ int status;<br>
+ rtems_flashdev_region args;<br>
+<br>
+ /* Check arguments */<br>
+ if (argc < 5) {<br>
+ printf("Missing argument\n");<br>
+ return -1;<br>
+ }<br>
+ if (dev_path == NULL) {<br>
+ printf("Please input FLASH_DEV_PATH before instruction\n");<br>
+ return 1;<br>
+ }<br>
+<br>
+ /* Get arguments */<br>
+ errno = 0;<br>
+ address = (uint32_t) strtoul(argv[1], NULL, 0);<br>
+ if (errno != 0) {<br>
+ printf("Could not read address\n");<br>
+ }<br>
+ errno = 0;<br>
+ bytes = (uint32_t) strtoul(argv[2], NULL, 0);<br>
+ if (errno != 0) {<br>
+ printf("Could not read address\n");<br>
+ }<br>
+<br>
+ /* Open flash device */<br>
+ fd = open(dev_path, O_RDWR);<br>
+ if (fd == -1) {<br>
+ printf("Couldn't open %s\n", dev_path);<br>
+ return -1;<br>
+ }<br>
+<br>
+ printf("Erasing at %08x for %x bytes\n", address, bytes);<br>
+<br>
+ /* Erase flash */<br>
+ args.offset = address;<br>
+ args.size = bytes;<br>
+<br>
+ status = ioctl(fd, RTEMS_FLASHDEV_IOCTL_ERASE, &args);<br>
+ if (status == -1) {<br>
+ printf("Erase failed\n");<br>
+ close(fd);<br>
+ return -1;<br>
+ }<br>
+<br>
+ /* Clean up */<br>
+ close(fd);<br>
+<br>
+ return 0;<br>
+}<br>
+<br>
+int flashdev_shell_type( char *dev_path )<br>
+{<br>
+ int type;<br>
+ int status;<br>
+<br>
+ /* Get type */<br>
+ status = flashdev_shell_ioctl_value(<br>
+ dev_path,<br>
+ RTEMS_FLASHDEV_IOCTL_TYPE,<br>
+ &type<br>
+ );<br>
+<br>
+ if (status) {<br>
+ printf("Failed to get flash type\n");<br>
+ return status;<br>
+ }<br>
+<br>
+ /* Print type */<br>
+ switch(type) {<br>
+ case RTEMS_FLASHDEV_NOR:<br>
+ printf("NOR flash\n");<br>
+ break;<br>
+ case RTEMS_FLASHDEV_NAND:<br>
+ printf("NAND flash\n");<br>
+ break;<br>
+ default:<br>
+ printf("Unknown type\n");<br>
+ }<br>
+<br>
+ return 0;<br>
+}<br>
+<br>
+int flashdev_shell_jedecid( char *dev_path ) {<br>
+ uint32_t ret;<br>
+ int status;<br>
+<br>
+ /* Get JEDEC Id */<br>
+ status = flashdev_shell_ioctl_value(<br>
+ dev_path,<br>
+ RTEMS_FLASHDEV_IOCTL_JEDEC_ID,<br>
+ &ret<br>
+ );<br>
+<br>
+ /* Print JEDEC Id */<br>
+ if (status) {<br>
+ printf("Failed to get JEDEC Id\n");<br>
+ return status;<br>
+ } else {<br>
+ printf("JEDEC Id: 0x%x\n", ret);<br>
+ }<br>
+ return 0;<br>
+}<br>
+<br>
+static int flashdev_shell_page_off(<br>
+ char *dev_path,<br>
+ int argc,<br>
+ char *argv[]<br>
+)<br>
+{<br>
+ return flashdev_shell_page(<br>
+ dev_path,<br>
+ argc,<br>
+ argv,<br>
+ RTEMS_FLASHDEV_IOCTL_PAGEINFO_BY_OFFSET<br>
+ );<br>
+}<br>
+<br>
+static int flashdev_shell_page_idx(<br>
+ char *dev_path,<br>
+ int argc,<br>
+ char *argv[]<br>
+)<br>
+{<br>
+ return flashdev_shell_page(<br>
+ dev_path,<br>
+ argc,<br>
+ argv,<br>
+ RTEMS_FLASHDEV_IOCTL_PAGEINFO_BY_INDEX<br>
+ );<br>
+}<br>
+<br>
+static int flashdev_shell_pg_count( char *dev_path )<br>
+{<br>
+ uint32_t ret;<br>
+ int status;<br>
+<br>
+ /* Get Page Count */<br>
+ status = flashdev_shell_ioctl_value(<br>
+ dev_path,<br>
+ RTEMS_FLASHDEV_IOCTL_PAGE_COUNT,<br>
+ &ret<br>
+ );<br>
+<br>
+ /* Print Page Count */<br>
+ if (status) {<br>
+ printf("Failed to get page count\n");<br>
+ return status;<br>
+ } else {<br>
+ printf("Page count: 0x%x\n", ret);<br>
+ }<br>
+ return 0;<br>
+}<br>
+<br>
+static int flashdev_shell_wb_size( char *dev_path )<br>
+{<br>
+ size_t ret;<br>
+ int status;<br>
+<br>
+ /* Get Write Block Size */<br>
+ status = flashdev_shell_ioctl_value(<br>
+ dev_path,<br>
+ RTEMS_FLASHDEV_IOCTL_WRITE_BLOCK_SIZE,<br>
+ &ret<br>
+ );<br>
+<br>
+ /* Print Write Block Size */<br>
+ if (status) {<br>
+ printf("Failed to get write block size\n");<br>
+ return status;<br>
+ } else {<br>
+ printf("Write block size: 0x%zx\n", ret);<br>
+ }<br>
+ return 0;<br>
+}<br>
+<br>
+static int flashdev_shell_ioctl_value(<br>
+ char *dev_path,<br>
+ int ioctl_call,<br>
+ void *ret<br>
+)<br>
+{<br>
+ int fd;<br>
+ int status;<br>
+<br>
+ fd = open(dev_path, O_RDONLY);<br>
+ if (fd == -1) {<br>
+ printf("Couldn't open %s\n", dev_path);<br>
+ return -1;<br>
+ }<br>
+<br>
+ status = ioctl(fd, ioctl_call, ret);<br>
+ if (status == -1) {<br>
+ close(fd);<br>
+ return -1;<br>
+ }<br>
+<br>
+ close(fd);<br>
+ return 0;<br>
+}<br>
+<br>
+static int flashdev_shell_page(<br>
+ char *dev_path,<br>
+ int argc,<br>
+ char *argv[],<br>
+ int ioctl_call<br>
+)<br>
+{<br>
+ rtems_flashdev_ioctl_page_info pg_info;<br>
+ int fd;<br>
+ int status;<br>
+<br>
+ /* Check arguments */<br>
+ if (argc < 4) {<br>
+ printf("Missing argument\n");<br>
+ return -1;<br>
+ }<br>
+ if (dev_path == NULL) {<br>
+ printf("Please input FLASH_DEV_PATH before instruction\n");<br>
+ return 1;<br>
+ }<br>
+<br>
+ /* Get arguments */<br>
+ errno = 0;<br>
+ pg_info.location = (off_t) strtoul(argv[1], NULL, 0);<br>
+ if (errno != 0) {<br>
+ printf("Could not read address\n");<br>
+ }<br>
+<br>
+ /* Open flash device */<br>
+ fd = open(dev_path, O_RDWR);<br>
+ if (fd == -1) {<br>
+ printf("Couldn't open %s\n", dev_path);<br>
+ return -1;<br>
+ }<br>
+<br>
+ status = ioctl(fd, ioctl_call, &pg_info);<br>
+ if (status == -1) {<br>
+ printf("Failed to get page info\n");<br>
+ close(fd);<br>
+ return -1;<br>
+ }<br>
+<br>
+ printf(<br>
+ "Page offset: 0x%jx\nPage length: 0x%zx\n",<br>
+ pg_info.page_info.offset,<br>
+ pg_info.page_info.size<br>
+ );<br>
+<br>
+ /* Clean up */<br>
+ close(fd);<br>
+ return 0;<br>
+}<br>
+<br>
+rtems_shell_cmd_t rtems_shell_FLASHDEV_Command = {<br>
+ .name = "flashdev",<br>
+ .usage = rtems_flashdev_shell_usage,<br>
+ .topic = "misc",<br>
+ .command = rtems_flashdev_shell_main,<br>
+};<br>
diff --git a/spec/build/cpukit/objshell.yml b/spec/build/cpukit/objshell.yml<br>
index 5fd259bee3..b71abb18f9 100644<br>
--- a/spec/build/cpukit/objshell.yml<br>
+++ b/spec/build/cpukit/objshell.yml<br>
@@ -52,6 +52,7 @@ source:<br>
- cpukit/libmisc/shell/main_echo.c<br>
- cpukit/libmisc/shell/main_edit.c<br>
- cpukit/libmisc/shell/main_exit.c<br>
+- cpukit/libmisc/shell/main_flashdev.c<br>
- cpukit/libmisc/shell/main_getenv.c<br>
- cpukit/libmisc/shell/main_halt.c<br>
- cpukit/libmisc/shell/main_help.c<br>
-- <br>
2.25.1<br>
<br>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" target="_blank">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a><br>
</blockquote></div>