coreboot for Debian
-------------------

For coreboot building, you might want to install the source of this
package. Only the utilities are built.

apt-get source coreboot

 -- Gürkan Myczko <gurkan@phys.ethz.ch>  Wed, 07 Aug 2019 15:35:39 +0200