|
@@ -100,8 +100,8 @@ if [ "${GENERATE_ISO}" == "1" ]; then
|
|
|
bash mount_virt_disk.sh || exit 1
|
|
|
mkdir -p ${boot_folder}/grub
|
|
|
cp ${kernel} ${root_folder}/bin/disk_mount/boot
|
|
|
- cp ${root_folder}/bin/user/shell.elf ${root_folder}/bin/disk_mount
|
|
|
- cp ${root_folder}/bin/user/about.elf ${root_folder}/bin/disk_mount
|
|
|
+ # 拷贝用户程序到磁盘镜像
|
|
|
+ cp -r ${root_folder}/bin/user/* ${root_folder}/bin/disk_mount
|
|
|
mkdir -p ${root_folder}/bin/disk_mount/dev
|
|
|
touch ${root_folder}/bin/disk_mount/dev/keyboard.dev
|
|
|
|