Documentation/distributions.md

   1 # Distributions
   2
   3 coreboot doesn't provide binaries but provides a toolbox that others can use
   4 to build boot firmware for all kinds of purposes. These third-parties can be
   5 broadly separated in two groups: Those shipping coreboot on their hardware,
   6 and those providing after-market firmware to extend the usefulness of devices.
   7
   8
   9 ## Hardware shipping with coreboot
  10
  11 ### ChromeOS Devices
  12
  13 All ChromeOS devices ([Chromebooks](https://chromebookdb.com/), Chromeboxes,
  14 Chromebit, etc) released from 2012 onward use coreboot for their main system
  15 firmware. Additionally, starting with the 2013 Chromebook Pixel, the firmware
  16 running on the Embedded Controller (EC) – a small microcontroller which provides
  17 functions like battery management, keyboard support, and sensor interfacing –
  18 is open source as well.
  19
  20 ### Nitrokey
  21
  22 [Nitrokey](https://nitrokey.com) is a german IT security hardware vendor which
  23 offers a range of laptops, PCs, HSMs, and networking devices with coreboot and
  24 [Dasharo](https://dasharo.com/). The devices come with neutralized Intel
  25 Management Engine (ME) and with pre-installed [Heads](http://osresearch.net) or
  26 EDK2 payload providing measured boot and verified boot protection. For
  27 additional security the systems can be physically sealed and pictures of those
  28 sealings are sent via encrypted email.
  29
  30 ### NovaCustom laptops
  31
  32 [NovaCustom](https://novacustom.com) sells configurable laptops with
  33 [Dasharo](https://dasharo.com/) coreboot based firmware on board, maintained by
  34 [3mdeb](https://3mdeb.com/). NovaCustom offers full GNU/Linux and Microsoft
  35 Windows compatibility. NovaCustom ensures security updates via fwupd for 5 years
  36 and the firmware is equipped with important security features such as measured
  37 boot, verified boot, TPM integration and UEFI Secure Boot.
  38
  39 ### PC Engines APUs
  40
  41 [PC Engines](https://pcengines.ch) designs and sells embedded PC hardware that
  42 ships with coreboot and support upstream maintenance for the devices through a
  43 third party, [3mdeb](https://3mdeb.com). They provide current and tested
  44 firmware binaries on [GitHub](https://pcengines.github.io).
  45
  46 ### Protectli
  47
  48 [Protectli](https://protectli.com) is dedicated to providing reliable,
  49 cost-effective, and secure computer equipment with coreboot-based firmware
  50 tailored for their hardware. It comes with the [Dasharo](#dasharo)
  51 firmware, maintained by [3mdeb](https://3mdeb.com/). Protectli hardware has
  52 verified support for many popular operating systems, such as Linux distributions,
  53 FreeBSD, and Windows. Support includes Debian, Ubuntu, OPNsense, pfSense,
  54 ProxMox VE, VMware ESXi, Windows 10 and 11, and many more.
  55
  56 ### Purism
  57
  58 [Purism](https://www.puri.sm) sells laptops with a focus on user privacy and
  59 security; part of that effort is to minimize the amount of proprietary and/or
  60 binary code. Their laptops ship with a blob-free OS and coreboot firmware
  61 with a neutralized Intel Management Engine (ME) and SeaBIOS as the payload.
  62
  63 ### Star Labs
  64
  65 [Star Labs](https://starlabs.systems/) offers a range of laptops designed and
  66 built specifically for Linux that are available with coreboot firmware. They
  67 use edk2 as the payload and include an NVRAM option to disable the Intel
  68 Management Engine.
  69
  70 ### System76
  71
  72 [System76](https://system76.com/) manufactures Linux laptops, desktops, and
  73 servers. Some models are sold with [System76 Open
  74 Firmware](https://github.com/system76/firmware-open), an open source
  75 distribution of coreboot, edk2, and System76 firmware applications.
  76
  77 ## After-market firmware
  78
  79 ### Dasharo
  80
  81 [Dasharo](https://dasharo.com/) is an open-source based firmware distribution
  82 focusing on clean and simple code, long-term maintenance, transparent
  83 validation, privacy-respecting implementation, liberty for the owners, and
  84 trustworthiness for all.
  85
  86 Contributions are welcome,
  87 [this document](https://docs.dasharo.com/ways-you-can-help-us/).
  88
  89 ### Heads
  90
  91 [Heads](http://osresearch.net) is an open source custom firmware and OS
  92 configuration for laptops and servers that aims to provide slightly better
  93 physical security and protection for data on the system. Unlike
  94 [Tails](https://tails.boum.org/), which aims to be a stateless OS that leaves
  95 no trace on the computer of its presence, Heads is intended for the case where
  96 you need to store data and state on the computer.
  97
  98 Heads is not just another Linux distribution – it combines physical hardening
  99 of specific hardware platforms and flash security features with custom coreboot
 100 firmware and a Linux boot loader in ROM.
 101
 102 ### Libreboot
 103
 104 [Libreboot](https://libreboot.org) is a downstream coreboot distribution that
 105 provides ready-made firmware images for supported devices: those which can be
 106 built entirely from source code. Their copy of the coreboot repository is
 107 therefore stripped of all devices that require binary components to boot.
 108
 109 ### MrChromebox
 110
 111 [MrChromebox](https://mrchromebox.tech/) provides upstream coreboot firmware
 112 images for the vast majority of x86-based Chromebooks and Chromeboxes, using
 113 edk2 as the payload to provide a modern UEFI bootloader. Why replace
 114 coreboot with coreboot? Mr Chromebox's images are built using upstream
 115 coreboot (vs Google's older, static tree/branch), include many features and
 116 fixes not found in the stock firmware, and offer much broader OS compatibility
 117 (i.e., they run Windows as well as Linux). They also offer updated CPU
 118 microcode, as well as firmware updates for the device's embedded controller
 119 (EC). This firmware "takes the training wheels off" your ChromeOS device :)
 120
 121 ### Skulls
 122
 123 [Skulls](https://github.com/merge/skulls) provides firmware images for
 124 laptops like the Lenovo Thinkpad X230. It uses upstream coreboot, an easy
 125 to use payload like SeaBIOS and Intel's latest microcode update.
 126
 127 It simplifies installation and includes compact documentation. Skulls also
 128 enables easy switching to [Heads](#heads) and back.