#!/bin/bash
# Rumpk QEMU Boot Script

RUMPK_DIR="$(cd "$(dirname "$0")" && pwd)"
KERNEL="$RUMPK_DIR/build/rumpk.elf"

if [ ! -f "$KERNEL" ]; then
    echo "ERROR: Kernel not found at $KERNEL"
    echo "Run ./build.sh first"
    exit 1
fi

echo "🚀 Booting Rumpk..."
echo "   Kernel: $KERNEL"
echo ""

qemu-system-aarch64 \
    -M virt \
    -cpu cortex-a57 \
    -m 128M \
    -nographic \
    -kernel "$KERNEL"
