1 files changed, 5 insertions, 17 deletions

diff --git a/scripts/boot.sh b/scripts/boot.sh
index 99fd103..5b8e6fa 100755
--- a/scripts/boot.sh
+++ b/scripts/boot.sh
@@ -45,33 +45,21 @@ GUI=""
 DEBUG=""
 
 # ---- args ----
-while [ $# -gt 0 ]; do
+source "$SCRIPT_DIR/lib-boot-args.sh"
+# boot.sh-specific flags live here; everything else is shared.
+handle_arg() {
         case "$1" in
-        --gui | -g) GUI="-vga std" ;;
-        --debug | -d) DEBUG="-s -S" ;;
         --release | -r)
                 PROFILE="release"
                 CARGO_FLAGS="--release"
                 ;;
-        --mem)
-                shift
-                MEM="$1"
-                ;;
-        --smp)
-                shift
-                SMP="$1"
-                ;;
-        --help | -h)
-                head -20 "$0" | grep "^#" | sed 's/^# //'
-                exit 0
-                ;;
         *)
                 echo "unknown: $1"
                 exit 1
                 ;;
         esac
-        shift
-done
+}
+parse_boot_args "$@"
 
 OUT_DIR="target/x86_64-unknown-uefi/$PROFILE"
 KERNEL="$OUT_DIR/rsdos.efi"