Documentation: add Skulls to the list of distributions

There seem to be enough users of the Skulls images to have the project
listed in our docs.

Change-Id: I5a8f24005fec87d53af7ad53370cb6a704378622
Signed-off-by: Martin Kepplinger <martink@posteo.de>
Reviewed-on: https://review.coreboot.org/c/31463
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Rudolph <siro@das-labor.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>

1 files changed, 9 insertions, 0 deletions

diff --git a/Documentation/distributions.md b/Documentation/distributions.md
index c533a1b521..1deff6349d 100644
--- a/Documentation/distributions.md
+++ b/Documentation/distributions.md
@@ -80,3 +80,12 @@ you need to store data and state on the computer.
 Heads is not just another Linux distribution – it combines physical hardening
 of specific hardware platforms and flash security features with custom coreboot
 firmware and a Linux boot loader in ROM.
+
+### Skulls
+
+[Skulls](https://github.com/merge/skulls) provides firmware images for
+laptops like the Lenovo Thinkpad X230. It uses upstream coreboot, an easy
+to use payload like SeaBIOS and Intel's latest microcode update.
+
+It simplifies installation and includes compact documentation. Skulls also
+enables easy switching to [Heads](#heads) and back.