Switch to EFI boot and use official release for QEMU and GDB

This commit is contained in:
Zhang Junyang
2023-10-08 17:38:24 +08:00
committed by Tate, Hongliang Tian
parent aea8f38dc1
commit cdc2b960dc
26 changed files with 433 additions and 315 deletions

View File

@ -1,17 +0,0 @@
#! /bin/bash
set -e
if type bazel > /dev/null; then
echo "Bazel has been installed already"
exit 0
fi
apt update && apt install curl gnupg -y
curl -fsSL https://bazel.build/bazel-release.pub.gpg | gpg --dearmor > bazel.gpg
mv bazel.gpg /etc/apt/trusted.gpg.d/
echo 'deb [arch=amd64] https://storage.googleapis.com/bazel-apt stable jdk1.8' | tee /etc/apt/sources.list.d/bazel.list
apt update && apt install bazel=5.4.0 -y
echo "Bazel is installed successfully"