- size = tftp_get_v(ip, tftp_port, "boot.bin", (void *)MAIN_RAM_BASE);
-
- if ((size <= 0) && (tftp_port != DEFAULT_TFTP_SERVER_PORT)) {
- /* Try default TFTP port if timed out on non-standard port */
- tftp_port = DEFAULT_TFTP_SERVER_PORT;
- printf("Fetching from: UDP/%d\n", tftp_port);
-
- size = tftp_get_v(ip, tftp_port, "boot.bin",
- (void *)MAIN_RAM_BASE);
- }
-
- if (size <= 0) {
+#ifdef NETBOOT_LINUX_VEXRISCV
+ tftp_dst_addr = MAIN_RAM_BASE;
+ size = tftp_get_v(ip, tftp_port, "Image", (void *)tftp_dst_addr);
+ if (size <= 0) {