#!/usr/bin/env bash # # scripts/build-bootloader.sh — build rsboot (UEFI bootloader) # # rsboot is a git submodule at rsboot/. This builds it and places # BOOTX64.EFI into build/bootloader/. # # Usage: # ./scripts/build-bootloader.sh # # Output: # build/bootloader/BOOTX64.EFI # set -euo pipefail SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)" PROJECT_DIR="$(dirname "$SCRIPT_DIR")" BUILD_DIR="$PROJECT_DIR/build" BOOTLOADER_DIR="$BUILD_DIR/bootloader" echo "=== Building rsboot (UEFI bootloader) ===" # Ensure submodule is checked out git submodule update --init "$PROJECT_DIR/rsboot" cd "$PROJECT_DIR/rsboot" make clean 2>/dev/null || true make -j"$(nproc)" 2>&1 | sed 's/^/ /' echo "" echo "=== rsboot build complete ===" ls -lh "$BOOTLOADER_DIR/BOOTX64.EFI"