SerenityOS/serenity
1
0 Fork 0
mirror of https://github.com/SerenityOS/serenity.git synced 2026-11-07 04:29:30 -10:00
Code Issues Packages Projects Releases Wiki Activity

Documentation: Remove the Raspberry Pi 3 netboot guide

Browse Source 
Only the Pi 4 and 5 currently boot to the desktop, so having a Pi 3-only
netbooting guide is a bit confusing. I don't have a Windows machine, so
I also can't update the guide easily.
This commit is contained in:
Sönke Holz committed 2025-05-31 18:04:45 +02:00
1 parent fe62c0fb9d
commit 0d2c2445ca
1 file changed
-56
Download Patch File Download Diff File Expand all files Collapse all files
Documentation/RunningOnRaspberryPi.md
-56
View File
@@ -56,59 +56,3 @@ Please follow one of the existing guides (for example [here](https://scribles.ne
### Step 2: Put the SD Card in the Raspberry Pi and power on
You should start seeing some messages in your UART terminal window. The default configuration is 115200-8-N-1 (115200 baud, one start bit, 8 data bits, no parity).
## Running on real hardware using network (Raspberry Pi 3)
### Prerequisites
There are multiple ways to set up your network. The easiest way is a direct connection between the Raspberry Pi and your PC. To achieve this your PC has to have an Ethernet port.
Here's the [Raspberry Pi Documentation](https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#debugging-network-boot-mode) on booting from the network.
### Step 1: Make sure OTP mode is enabled on the board
This is enabled by default on Raspberry Pi 3+. For the previous boards please see the section [Debugging Network Boot Mode](https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#debugging-network-boot-mode) of the Raspberry Pi documentation.
### Step 2: Copy all files from the original SD Card to your PC
This directory will serve as a TFTP server, sending files to the Raspberry Pi when requested.
### Step 2: Set up the network interface
Switch the network interface to static mode (static IP) and disable the firewall.
### Step 3: Set up network services
Booting Raspberry Pi requires DHCP and TFTP servers.
On Windows, you can use the [Tftpd32](https://bitbucket.org/phjounin/tftpd64/src/master/) program.
Example configuration for DHCP:
![](Tftpd32_Dhcp.png)
Make sure you **disable** the `Ping address before assignment` option.
Example configuration for TFTP:
![](Tftpd32_Tftp.png)
The only option worth noting is `Base Directory` which should contain the files from the SD Card.
### Step 4: Power up the Raspberry Pi
Remove the SD Card, connect an Ethernet cable between the Raspberry Pi and your PC and power on the board.
After 5-10 seconds you should see files being served by the TFTP server:
![](Tftpd32_Serving.png)
The system should boot normally as it would from the SD Card.
### Step 5: Modify config.txt and copy Serenity kernel
Similarly to booting from SD Card (see above), modify `config.txt` and copy the Serenity kernel to the TFTP directory.
### Step 6: Reset Raspberry Pi
You should start seeing some Serenity messages in your UART terminal window.