ci: Fix installation of firmware for db410c's nic.

The debian firmware package doesn't actually contain it, costing us a
minute of boot time waiting for it to show up.

Lightly-reviewed-by: Kristian H. Kristensen <hoegsberg@google.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4076>
This commit is contained in:
Eric Anholt 2020-03-05 15:26:28 -08:00 committed by Marge Bot
parent ff1183648a
commit d51da8610f

View file

@ -11,7 +11,6 @@ apt-get -y install --no-install-recommends \
libdrm2 \
libdrm-nouveau2 \
firmware-qcom-media \
firmware-realtek \
wget \
xz-utils
passwd root -d
@ -24,6 +23,9 @@ exec sh
EOF
chmod +x /init
mkdir -p /lib/firmware/rtl_nic
wget https://git.kernel.org/pub/scm/linux/kernel/git/firmware/linux-firmware.git/tree/rtl_nic/rtl8153a-3.fw -O /lib/firmware/rtl_nic/rtl8153a-3.fw
#######################################################################
# Strip the image to a small minimal system without removing the debian
# toolchain.