[sjy]

Is the documentation outdated? https://www.raspberrypi.org/documentation/hardware/raspberry... says “USB booting is still under development“ and https://www.raspberrypi.org/documentation/hardware/raspberry... says “The Pi 4B bootloader currently only supports booting from an SD card.”

[gerdesj]

Two minutes ago I plugged in a RPi 4 with no SD Card in it. It does have a USB stick plugged in.