21 lines
411 B
Bash
Executable File
21 lines
411 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
echo
|
|
echo "== Checks =="
|
|
clang --version | head -n1
|
|
qemu-system-riscv32 --version | head -n1
|
|
|
|
echo
|
|
echo "clang riscv32 target:"
|
|
clang -print-targets | grep -E 'riscv32' || {
|
|
echo "ERROR: clang does not list riscv32 target."
|
|
exit 1
|
|
}
|
|
|
|
echo
|
|
echo "OpenSBI firmware candidates:"
|
|
ls -1 /usr/share/qemu/*opensbi*riscv32*fw_dynamic*.bin 2>/dev/null || true
|
|
echo
|
|
echo "Done."
|