Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
fpgas.online
fpgas.online
  • User documentation
    • Sites
      • The welland site
      • The ps1 site
    • Roadmap
    • Using a board
      • Acorn
        • An Acorn on fpgas.online
        • How to load a design onto an Acorn from its board page
      • Tiny Tapeout FPGA demo board
        • A Tiny Tapeout FPGA demo board on fpgas.online
        • How to run a bundled design
        • How to load your own bitstream
        • The bundled designs
      • NeTV2
        • A NeTV2 on fpgas.online
        • How to load a design onto a NeTV2 from its board page
      • Fomu EVT
        • A Fomu EVT on fpgas.online
      • Arty A7
        • An Arty A7 on fpgas.online
        • How to load a design onto an Arty A7 from its board page
      • Tiny Tapeout chip demo boards
        • The Tiny Tapeout chip demo boards on fpgas.online
        • How to select a design on a Tiny Tapeout chip demo board
      • The board page on welland and ps1
      • How to reset a board
      • The camera on a board
    • How to reach a board with your own ssh client
    • How to log in to a host at ps1
  • Admin documentation
    • How the system works
      • Setup
      • Netboot and the NFS root
        • Updating the NFS root
        • A Pi not booting
        • What is in the NFS root
        • The EEPROM lock
        • Historical tooling
        • Sources
      • Network and power
        • Power-cycling a board
        • Converging the switches
        • Checking isolation
        • The PoE scripts
        • Sources
      • What runs on a Pi host
        • Services
        • Units shipped by fpgas-online-setup-pi
        • Boot-time configuration
        • Models and serial consoles
        • Camera
        • Sources
      • The gateways
        • The gateway host
          • Deploying a gateway
          • Rebuilding a gateway
          • Certificates at welland
          • Services
          • Sources
        • The welland gateway
        • The ps1 gateway and switch
        • What a site needs from its upstream network
          • The uplink and inbound IPv4
          • IPv6 and DNS
          • Outbound, from the gateway
      • The web application
      • The Tiny Tapeout stack
    • How to maintain it
      • Accounts and logins at welland
        • The gateway, tweed
        • The Pi NFS root
        • Logging in
        • Adding or removing a person
        • Where the keys come from
        • Verifying access
      • Bootloader EEPROM: upgrade and lock
        • Raspberry Pi 5: check, upgrade, lock
          • Check it
          • Upgrade: what you need
          • Step 1: make the card
          • Step 2: network cable out
          • Step 3: join the WP pads
          • Step 4: card and cable in
          • Step 5: undo, cable back in
          • Step 6: read it back
        • Compute Module in a Compute Blade
      • Orange Pi H3 hosts
        • Reading and recovering
        • Adding and deploying
        • The hub host
        • Why they boot this way
      • Verifying a deployment
    • How to set up sites and devices
      • Boards
        • Digilent Arty A7
          • Overview
            • The Arty A7 board
            • Arty A7 specifications
            • Programming an Arty A7
            • Arty A7 references
          • Set one up
            • Arty A7 wiring to a Raspberry Pi
            • How to load a design onto an Arty A7
            • How to write a design into an Arty A7’s flash
            • How to install the Arty A7 packages
          • Checks
            • How to run the Arty A7 UART test by hand
            • How to run the Arty A7 GPIO loopback test by hand
        • Kosagi NeTV2
          • Overview
            • The NeTV2 board
            • NeTV2 specifications
            • Programming a NeTV2
            • NeTV2 references
          • Set one up
            • NeTV2 wiring to a Raspberry Pi
            • How to install the NeTV2 packages
            • How to load a design into a NeTV2 on a Raspberry Pi 3B+
            • How to load a design into a NeTV2 on a Raspberry Pi 5
            • How to write a design into a NeTV2’s flash
            • How to free a NeTV2’s serial port before a test
          • Checks
        • SQRL Acorn and LiteFury
          • Overview
            • The Acorn card
            • Acorn specifications
            • Programming an Acorn
            • The fpgas.online Acorn design
            • The camera over an Acorn
            • Acorn references
          • Which one do I have
          • Set one up
            • On a Raspberry Pi 5
              • The two cables on a Raspberry Pi 5
                • Parts and tools for the Raspberry Pi 5 cables
                • How to prepare the JTAG cable’s wires (Raspberry Pi 5)
                • How to fill the JTAG cable’s housing (Raspberry Pi 5)
                • How to prepare the UART cable’s wires (Raspberry Pi 5)
                • How to fill the UART cable’s housing (Raspberry Pi 5)
                • How to check the cables on the bench (Raspberry Pi 5)
              • How to fit the cables and the card (Raspberry Pi 5)
              • A Raspberry Pi 5’s settings for an Acorn
              • Acorn wiring on a Raspberry Pi 5
              • The serial port, the console and JTAG on a Raspberry Pi 5
            • On a Compute Blade
              • The two cables on a Compute Blade
                • Parts and tools for the Compute Blade cables
                • How to prepare the JTAG cable’s wires (Compute Blade)
                • How to fill the JTAG cable’s housing (Compute Blade)
                • How to prepare the UART cable’s wires (Compute Blade)
                • How to fill the UART cable’s housing (Compute Blade)
                • How to check the cables on the bench (Compute Blade)
              • How to fit the cables and the card (Compute Blade)
              • A Compute Blade’s pins and settings for an Acorn
              • Acorn wiring on a Compute Blade
              • The line JTAG and the serial port share on a Compute Blade
            • How to install the Acorn packages
            • How to install the fpgas.online images on an Acorn
            • How to update the operational image of an Acorn
            • How to generate multiboot bitstreams by hand
            • Reaching an Acorn’s flash through PCIe
          • Checks
            • How to run the Acorn check on a Raspberry Pi 5
            • How to run the Acorn check on a Compute Blade
              • How to make a Compute Blade boot ready for JTAG
            • Tests by hand
              • How to run JTAG by hand on an Acorn on a Raspberry Pi 5
              • How to run JTAG by hand on an Acorn on a Compute Blade
              • How to check an Acorn’s PCIe link by hand on a Raspberry Pi 5
              • How to check an Acorn’s PCIe link by hand on a Compute Blade
              • How to run the pin ID test on an Acorn on a Raspberry Pi 5
              • How to run the pin ID test on an Acorn on a Compute Blade
              • How to run the Acorn UART and GPIO loopback on a Raspberry Pi 5
            • What the Acorn check tests
              • The Acorn check
              • Acorn tests and their wires on a Raspberry Pi 5
              • Acorn tests and their wires on a Compute Blade
              • The Acorn DDR memory test
              • The Acorn Wishbone bridges test
              • JTAG loads and the PCIe endpoint
          • Troubleshooting
            • A failing Acorn test on a Raspberry Pi 5
            • Other Acorn check messages on a Raspberry Pi 5
            • Acorn wiring faults on a Raspberry Pi 5
            • A failing Acorn test on a Compute Blade
            • Other Acorn check messages on a Compute Blade
            • Acorn wiring faults on a Compute Blade
            • How to recover an Acorn with a bad image
        • Fomu EVT
          • Overview
            • The Fomu EVT board
            • Fomu EVT specifications
            • Programming a Fomu EVT
            • USB analysers for the Fomu EVT
            • Fomu EVT references
          • Set one up
            • Fomu EVT wiring to a Raspberry Pi
            • How to install the Fomu packages
            • How to load a design onto a Fomu EVT with openFPGALoader
          • Checks
            • How to stop the serial login console before a Fomu UART test
          • Troubleshooting
            • Fomu EVT programming faults
            • Fomu EVT test faults
        • Tiny Tapeout FPGA demo board
          • Overview
            • The Tiny Tapeout FPGA demo board
            • Tiny Tapeout FPGA demo board specifications
            • Tiny Tapeout FPGA demo board pin mapping
            • Programming a Tiny Tapeout FPGA demo board
            • Serial port ownership on a Tiny Tapeout FPGA demo board
            • The firmware on a Tiny Tapeout FPGA demo board
            • Tiny Tapeout FPGA demo board references
          • Set one up
            • Tiny Tapeout FPGA demo board wiring to a Raspberry Pi
            • How to install the Tiny Tapeout FPGA packages
            • How to stop the fpgas-tt daemon and start it again
          • Checks
            • Tiny Tapeout FPGA demo board test designs
          • Troubleshooting
            • Tiny Tapeout FPGA demo board faults
            • Tiny Tapeout FPGA demo board faults on the Raspberry Pi
        • Tiny Tapeout chip demo boards
          • Overview
            • The Tiny Tapeout chip demo boards
            • Tiny Tapeout shuttles and their demo boards
            • Tiny Tapeout chip demo board references
          • Set one up
            • Tiny Tapeout chip demo board wiring to a Raspberry Pi
            • How to free a Tiny Tapeout board’s serial port from fpgas-tt
      • fpgas-verify: checking an FPGA board from its Raspberry Pi
        • Installing
        • Running it
        • Identity and labels
        • Reading the result
        • Reading the result: more
        • --help
        • What each check tests
        • Each check, one by one
        • TT FPGA
        • Acorn
        • Acorn: power-cycle check
        • JTAG IDCODE and DNA
        • Checking an Acorn's wiring
        • Common failures
        • The report and state
      • Packages
  • Developer documentation
    • About these docs
      • The structure of the documentation
      • What a page contains
      • Review and verification of a page
      • References on writing documentation
      • Where each limit comes from
    • Repositories
    • Contributing to these docs
    • Board identity
    • Open items on these pages
  • Resources
    • PMOD interface
    • Raspberry Pi PMOD HAT
    • Tiny Tapeout PMOD layouts
    • The pin-id design
      • How to scan an Arty A7’s wiring with the pin-id design
      • Pin-id scanner options
      • How to add a board to the pin-id design
Back to top
View this page
Edit this page

How to maintain it¶

  • Accounts and logins at welland: who may log in, where, and with which keys.

  • Bootloader EEPROM: upgrade and lock: check, upgrade and lock a host’s bootloader.

  • Orange Pi H3 hosts: the hosts that boot over USB, and bringing one back.

  • Verifying a deployment: what to change when a host is added, and how it is checked.

Next
Accounts and logins at welland
Previous
The Tiny Tapeout stack
Copyright © 2026, Tim 'mithro' Ansell
Made with Sphinx and @pradyunsg's Furo