diff --git a/site/docs/install/chromebooks.md b/site/docs/install/chromebooks.md
index 476d472..279f433 100644
--- a/site/docs/install/chromebooks.md
+++ b/site/docs/install/chromebooks.md
@@ -165,13 +165,18 @@ you may be able to use `flashrom -p linux_mtd` on that system instead.
 Install an operating system
 ===========================
 
-Libreboot currently lacks any good documentation about this, but there
-is this page which refers to Debian:
+Successful installations:
 
-[Debian installation](https://wiki.debian.org/InstallingDebianOn/Asus/C201)
+* [ArchLinuxARM on RK3399-based Chromebooks](../uboot/uboot-archlinux.md).
+* [Debian on Asus Chromebook C201](https://wiki.debian.org/InstallingDebianOn/Asus/C201).
 
-In general, ARM-compatible distros targeting U-boot can be used. You can
-follow their instructions, once you have Libreboot up and running.
+Unsuccessful installations:
+
+* [OpenBSD on Samsung Chromebook Plus XE513C24](../uboot/uboot-openbsd.md).
+
+Other promising ARM-compatible distros:
+
+* [Armbian](https://www.armbian.com/uefi-arm64/).
 
 See also
 ========
diff --git a/site/docs/uboot/uboot-openbsd.md b/site/docs/uboot/uboot-openbsd.md
new file mode 100644
index 0000000..75388b4
--- /dev/null
+++ b/site/docs/uboot/uboot-openbsd.md
@@ -0,0 +1,44 @@
+---
+title: OpenBSD Install Attempt on a Samsung Chromebook Plus
+x-toc-enable: true
+...
+
+System Configuration
+====================
+
+Hardware: Samsung Chromebook Plus XE513C24 (gru_kevin)
+
+Libreboot: 2023-04-23
+
+Operating System: OpenBSD 7.3
+
+Install Media Preparation
+=========================
+
+Follow the OpenBSD arm64 installation instructions in the link below:
+
+https://ftp.openbsd.org/pub/OpenBSD/snapshots/arm64/INSTALL.arm64
+
+Write the install73.img file to a micro sdcard.  Replace "sdcard_device" below
+with the appropriate device path on your system.
+```
+# dd if=install73.img of=/dev/sdcard_device bs=1M status=progress; sync
+```
+
+Installation Attempt
+====================
+
+1. Insert the micro sdcard into the slot on the Chromebook.
+2. Power on the Chromebook.
+
+Initially things looked promising as the system automatically found the OpenBSD
+EFI image on the micro sdcard and proceeded to the OpenBSD boot prompt. However
+there was a strange display issue where the first character on each row of the
+display was missing.
+
+After a brief pause, the OpenBSD boot process continued.  A message displayed
+indicating an error opening random.seed but continued to load the OpenBSD
+kernel.  Unfortunately the system then froze indefinitely.  See screen shot
+below.
+
+![](https://av.libreboot.org/xe513c24/openbsd-attempt.jpg)