diff --git a/Documentation/distributions.md b/Documentation/distributions.md
index fea29e7cb5..c533a1b521 100644
--- a/Documentation/distributions.md
+++ b/Documentation/distributions.md
@@ -17,11 +17,12 @@ with a neutralized Intel Management Engine (ME) and SeaBIOS as the payload.
 
 ### ChromeOS Devices
 
-All ChromeOS devices (Chromebooks, Chromeboxes, Chromebit, etc) released from
-2012 onward use coreboot for their main system firmware. Additionally, starting
-with the 2013 Chromebook Pixel, the firmware running on the Embedded Controller
-(EC - a small microcontroller which provides functions like battery management,
-keyboard support, and sensor interfacing) is open source as well.
+All ChromeOS devices ([Chromebooks](https://chromebookdb.com/), Chromeboxes,
+Chromebit, etc) released from 2012 onward use coreboot for their main system
+firmware. Additionally, starting with the 2013 Chromebook Pixel, the firmware
+running on the Embedded Controller (EC - a small microcontroller which provides
+functions like battery management, keyboard support, and sensor interfacing)
+is open source as well.
 
 ### Libretrend