35 lines
707 B
Bash
Executable File
35 lines
707 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
cd "$(dirname "$0")/.."
|
|
|
|
sources=$(find arch include kernel -name '*.c' -o -name '*.h')
|
|
|
|
clang-format --dry-run --Werror $sources
|
|
|
|
make clean
|
|
make
|
|
|
|
timeout 30s make run-headless || true
|
|
|
|
required_lines=(
|
|
"Tianole x86 bootloader loaded."
|
|
"jumping to kernel entry"
|
|
"kernel_main entered"
|
|
"boot_info.version ok"
|
|
"boot services exited"
|
|
"memory map descriptors="
|
|
"conventional memory pages="
|
|
)
|
|
|
|
for line in "${required_lines[@]}"; do
|
|
if ! grep -F "$line" build/debug.log >/dev/null; then
|
|
echo "missing expected boot log line: $line" >&2
|
|
echo "--- build/debug.log ---" >&2
|
|
cat build/debug.log >&2 || true
|
|
exit 1
|
|
fi
|
|
done
|
|
|
|
cat build/debug.log
|