gnuboot/website/pages/docs/hardware/r500.md