commit 943820d4dd9b4a4d3987339b7a7261845a3c046e parent fc620df322a28e0c7ce5b76b265c569dc838eba5 Author: Daniel Barlow <dan@telent.net> Date: Thu, 22 Jun 2023 10:06:40 +0100 add doc note about finding supported devices Diffstat:
| M | doc/user.rst | | | 15 | +++++++++++++++ |
1 file changed, 15 insertions(+), 0 deletions(-)
diff --git a/doc/user.rst b/doc/user.rst @@ -22,6 +22,21 @@ helpful in understanding it. The steps are as follows: * Flash it to the device +Supported devices +================= + +For a list of devices that Liminix (present or previous versions) +has run on, refer to `devices/ in the source repo <https://gti.telent.net/dan/liminix/src/branch/main/devices>`_. For devices that _currently_ build, +cross-reference it with `the CI status <https://build.liminix.org/jobset/liminix/build#tabs-jobs>`_. Everything that builds is (usually) expected +to run, so if you end up with an image that builds but doesn't +boot, please report it as a bug. + +As of June 2023 the device list is a little thin. Adding devices based +on the Atheros or Mediatek (Ralink) platform should be quite +straightforward if you have some C/Linux kernel experience and are +prepared to open it up and attach serial wires: please refer to the +Developer Manual. + Choosing a flavour (read-only or updatable) ===========================================