blob: 4a6b23939bacdb0e0a731549fb684e4f8ef30b29 (
plain) (
tree)
|
|
#!/bin/sh
# We assume mnt/ is the directory where the image is mounted, and src/ is the directory with all the compiled files
rm mnt/*
# Update GRUB's menu.cfg
cp menu_fdd.cfg mnt/boot/menu.cfg
# copy kernel
cp src/kernel/kernel.elf mnt
cp src/modules/test/test.elf mnt
cp src/modules/manager/manager.elf mnt
#echo "*** Launching a BASH shell, if you want to do any maintenance ***"
#bash || exit 0
|
