blob: 087939da66022d1c0c434b240237fbf16a99f570 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/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/kernel/kernel.elf mnt
cp src/modules/test/test.elf src/modules/manager/manager.elf mnt
#echo "*** Launching a BASH shell, if you want to do any maintenance ***"
#bash || exit 0
|
