Boot remote instructions
Boot Linux remotely on FPGA
You should have examples of remote booting in the Makefile known as etherlocal and etherremote.
Modify or duplicate these examples to reflect your local network topology, then
The remote downloader should be built (first time only)
make -C ../../common/script
This section assumes you followed the DHCP instructions earlier, in which case should have a message such as:
Hello LowRISC! Mon Aug 13 08:56:12 2018: Booting from Ethernet because SW2 is high .. MAC = eee1:e2e3e4e5 MAC address = ee:e1:e2:e3:e4:e5. eth0 MAC : EE:E1:E2:E3:E4:E5 Sending DHCP_DISCOVERY Waiting for DHCP_OFFER Sending DHCP_REQUEST DHCP ACK DHCP Client IP Address: 220.127.116.11 (NOTE THIS VALUE) Server IP Address: 18.104.22.168 Router address: 22.214.171.124 Net mask address: 255.255.252.0 Lease time = 43200 domain = "cl.cam.ac.uk" server = "lowrisc5-sm"
The user should type the following at this point:
export IP=126.96.36.199 # or whatever value you noted above ../../common/script/recvRawEth -r -s $IP boot.bin
This functionality is the same as the ‘make etherlocal’ option
It is convenient for development to work always from a development version of the kernel. But if the kernel only changes infrequently, it might be preferable to update on the live system as shown at the following link: