diff --git a/site/docs/build/index.md b/site/docs/build/index.md index 68f751c..35781c5 100644 --- a/site/docs/build/index.md +++ b/site/docs/build/index.md @@ -74,6 +74,14 @@ Ubuntu or similar distribution (Debian, Trisquel, etc) you can do this: sudo make install-dependencies-ubuntu +One exists specifically for Debian: + + sudo make install-dependencies-debian + +Another exists for Arch: + + sudo make install-dependencies-arch + Now, simply build the coreboot images like so: make @@ -124,6 +132,12 @@ Debian): sudo ./build dependencies ubuntu2004 +Separate scripts also exist: + + sudo ./build dependencies debian + + sudo ./build dependencies arch + Technically, any GNU+Linux distribution can be used to build Libreboot. However, you will have to write your own script for installing build dependencies.