Changes between Version 7 and Version 8 of RaspberryPi

Timestamp:

2019-07-02T20:48:34Z (6 years ago)

Author:

Jakub Jermář

Comment:

Add instructions for netbooting HelenOS using U-boot

RaspberryPi

@@ -18 +18 @@
 == Booting ==
 
-Build HelenOS for Raspberry Pi, insert the microSD card you use to boot Raspberry Pi to your computer and copy `boot/image.bin` to `kernel.bin` on its boot partition:
+There are two ways to boot HelenOS on Raspberry Pi: directly from the SD card boot partition or using U-boot.
+
+=== Direct boot from SD card boot partition ===
+
+Build HelenOS for Raspberry Pi, insert the microSD card you use to boot Raspberry Pi to your computer and copy `boot/image.bin` to `kernel.img` on its boot partition:
 
 {{{
@@ -28 +32 @@
 $ sudo cp boot/image.bin /run/media/$USER/boot/kernel.img
 }}}
+
+=== Network boot with U-boot ===
+
+Build HelenOS for Raspberry Pi and copy the resulting `uImage.bin` to your tftpboot directory. Assuming the `kernel.img` on the SD card is a U-boot binary built for the rpi_config, power on your Raspberry Pi and enter the U-boot boot prompt. Then enter the following command:
+
+{{{
+U-Boot> dhcp 192.168.0.103:uImage.bin
+}}}
+
+You should see the image being downloaded:
+
+{{{
+Waiting for Ethernet connection... done.
+BOOTP broadcast 1
+BOOTP broadcast 2
+BOOTP broadcast 3
+DHCP client bound to address 192.168.0.101 (1009 ms)
+Using smsc95xx_eth device
+TFTP from server 192.168.0.103; our IP address is 192.168.0.101
+Filename 'uImage.bin'.
+Load address: 0x200000
+Loading: ##################################################  1.4 MiB
+         1.4 MiB/s
+done
+Bytes transferred = 1428856 (15cd78 hex)
+}}}
+
+Finally, use the `bootm` command to boot the downloaded image:
+
+{{{
+U-Boot> bootm
+## Booting kernel from Legacy Image at 00200000 ...
+   Image Name:   HelenOS-0.9.1
+   Image Type:   ARM Linux Kernel Image (uncompressed)
+   Data Size:    1428792 Bytes = 1.4 MiB
+   Load Address: 00008000
+   Entry Point:  00008000
+   Verifying Checksum ... OK
+   Loading Kernel Image ... OK
+
+Starting kernel ...
+}}}