Files
edge-gateway-3k-drivers/release/install.sh

23 lines
779 B
Bash
Executable File

#!/bin/bash
set -e
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
echo $SCRIPT_DIR;
# Replace kernel
sudo apt install -y $SCRIPT_DIR/kernel/linux-headers-6.1.18-edge3k_6.1.18-edge3k-6_amd64.deb $SCRIPT_DIR/kernel/linux-image-6.1.18-edge3k_6.1.18-edge3k-6_amd64.deb $SCRIPT_DIR/kernel/linux-libc-dev_6.1.18-edge3k-6_amd64.deb
#sudo apt install $SCRIPT_DIR/linux-image-6.1.18-edge3k-dbg_6.1.18-edge3k-6_amd64.deb
# Configure SELINUX
sudo mkdir -p /etc/selinux/
sudo cp $SCRIPT_DIR/config/selinux/config /etc/selinux/config
# Install missing firmware
sudo apt install -y firmware-intel-sound
# Add the rest of missing firmware files
sudo mkdir /lib/firmware/rsi/
sudo cp $SCRIPT_DIR/firmware/* /lib/firmware/rsi/
echo "Installation finished";