diff options
Diffstat (limited to 'copy_fdd.sh')
-rwxr-xr-x | copy_fdd.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/copy_fdd.sh b/copy_fdd.sh new file mode 100755 index 0000000..d6514d9 --- /dev/null +++ b/copy_fdd.sh @@ -0,0 +1,12 @@ +#!/bin/sh + +# We assume mnt/ is the directory where the image is mounted, and src/ is the directory with all the compiled files + +# Update GRUB's menu.cfg +cp menu_fdd.cfg mnt/boot/menu.cfg + +# copy kernel +cp src/stem/stem.elf mnt + +#echo "*** Launching a BASH shell, if you want to do any maintenance ***" +#bash || exit 0 |