build: default profile is release (debug too slow for dev loop)

Makefile: PROFILE=release, CARGO_FLAGS=--release; make release target
kept as no-op (now default).  boot.sh: PROFILE=release default;
--debug flag opt-in.  mksystem.sh: PROFILE=release default.
test-disk/fault/gfx/mouse/msg: all use --release.
All scripts syntax-checked.

1 files changed, 2 insertions, 2 deletions

diff --git a/scripts/mksystem.sh b/scripts/mksystem.sh
index dfa481c..044c86c 100755
--- a/scripts/mksystem.sh
+++ b/scripts/mksystem.sh
@@ -78,7 +78,7 @@ while [ $# -gt 0 ]; do
 done
 
 TARGET=x86_64-unknown-uefi
-PROFILE=debug
+PROFILE=release
 OUT_DIR="target/$TARGET/$PROFILE"
 KERNEL="$OUT_DIR/rsdos.efi"
 BZIMAGE="esp/bzImage"
@@ -109,7 +109,7 @@ fi
 # ---- build kernel ----
 if [ ! -f "$KERNEL" ]; then
         echo "mksystem: building kernel..."
-        cargo build --package rsdos --target "$TARGET"
+        cargo build --release --package rsdos --target "$TARGET"
 fi
 
 # ---- build bootloader (chain mode only) ----