placeholder arm/uboot documentation

site/docs/bsd/index.md

@@ -3,7 +3,10 @@ title: BSD operating systems
 x-toc-enable: true
 ...
 
-Guide last updated on 24 August 2022.
+Guide last updated on 16 November 2022.
+
+NOTE: This guide pertains to x86 hosts, and does not cover supported CrOS/ARM
+chromebooks. For ARM targets, you should refer to u-boot documentation.
 
 libreboot is capable of booting many BSD systems. This section mostly documents
 the peculiarities of libreboot as it pertains to BSD; you can otherwise refer to

site/docs/gnulinux/index.md

@@ -3,6 +3,9 @@ title: GNU+Linux guides
 x-toc-enable: true
 ...
 
+NOTE: This guide pertains to x86 hosts, and does not cover supported CrOS/ARM
+chromebooks. For ARM targets, you should refer to u-boot documentation.
+
 This page is useful for those who wish to use the GRUB GRUB payload directly.
 If you're using SeaBIOS, the boot process will work similarly to traditional
 BIOS systems; refer to the SeaBIOS documentation

site/docs/hardware/index.md

@@ -54,6 +54,28 @@ libreboot currently supports the following systems in this release:
 -   [Lenovo Thinkpad X230](../install/x230_external.md)
 -   [Lenovo Thinkpad X230t](../install/x230_external.md)
 
+### Laptops (ARM, u-boot, MOSTLY UNTESTED AS OF NOVEMBER 16, 2022)
+
+-   Samsung Chromebook 2 13" (peach-pi)
+-   Samsung Chromebook 2 11" (based on `peach_pit` in coreboot)
+-   HP Chromebook 11 G1 (google/daisy)
+-   Samsung Chromebook XE303 (google/daisy)
+-   HP Chromebook 14 G3 (google/nyan\_blaze)
+-   Acer Chromebook 13 (CB5-311, C810) (google/nyan\_big)
+-   ASUS Chromebit CS10 (google/veyron\_mickey)
+-   ASUS Chromebook Flip C100PA (google/veyron)
+-   ASUS Chromebook C201PA (google/veyron\_speedy)
+-   ASUS Chromebook Flip C101 (google/gru)
+-   Samsung Chromebook Plus (v1) (google/gru)
+
+NOTE: ARM hardware is currently undocumented in Libreboot, both for
+installation of Libreboot and the installation of an operating system. If you
+have one of these machines configured with Libreboot, you should consult
+u-boot documentation to learn how it's operated. You might ping `alpernebbi` on
+Libera IRC, who ported these boards to Libreboot. Extensive work was
+performed, to make u-boot work correctly. **TODO: installation instructions
+must be added to documentation!**
+
 TODO: More hardware is supported. See `resources/coreboot/` in lbmk. Update
 the above list!
 

site/docs/index.md

@@ -18,7 +18,8 @@ Documentation related to operating systems
 ============================
 
 -   [GNU+Linux Guides](gnulinux/)
--   [How to install BSD on a libreboot system](bsd/)
+-   [How to install BSD on an x86 host system](bsd/)
+-   [How to install BSD or Linux on ARM/uboot](uboot/) (TODO: write this section)
 
 Information for developers
 ==========================

site/docs/uboot/index.md

@@ -0,0 +1,10 @@
+---
+title: U-boot instructions
+x-toc-enable: true
+...
+
+Refer to [docs/hardware/](../hardware/) for a complete list of ARM/u-boot
+targets in Libreboot. They were recently added, but they currently lack any
+installation instructions for the firmware itself or for operating systems.
+
+TODO: write documentation.

site/index.md

@@ -6,8 +6,8 @@ x-toc-enable: true
 The `libreboot` project provides
 [freedom-respecting](https://www.gnu.org/philosophy/free-sw.html) *boot
 firmware* that initializes the hardware (e.g. memory controller, CPU,
-peripherals) on [specific Intel/AMD x86 computers](docs/hardware/) and starts
-a bootloader for your operating system. [GNU+Linux](docs/gnulinux/)
+peripherals) on [specific Intel/AMD x86 and ARM targets](docs/hardware/), which
+then starts a bootloader for your operating system. [GNU+Linux](docs/gnulinux/)
 and [BSD](docs/bsd/) are well-supported. It replaces proprietary BIOS/UEFI
 firmware. Help is available
 via [\#libreboot](https://web.libera.chat/#libreboot)