2022-11-12 21:04:47 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -e
|
|
|
|
|
. ./build.sh
|
|
|
|
|
|
|
|
|
|
mkdir -p isodir
|
|
|
|
|
mkdir -p isodir/boot
|
|
|
|
|
mkdir -p isodir/boot/grub
|
|
|
|
|
|
|
|
|
|
cp sysroot/boot/banan-os.kernel isodir/boot/banan-os.kernel
|
|
|
|
|
cat > isodir/boot/grub/grub.cfg << EOF
|
|
|
|
|
menuentry "banan-os" {
|
|
|
|
|
multiboot /boot/banan-os.kernel
|
|
|
|
|
}
|
2023-01-25 21:44:09 +02:00
|
|
|
menuentry "banan-os (no serial)" {
|
|
|
|
|
multiboot /boot/banan-os.kernel noserial
|
|
|
|
|
}
|
2022-12-20 11:57:09 +02:00
|
|
|
menuentry "banan-os (no apic)" {
|
|
|
|
|
multiboot /boot/banan-os.kernel noapic
|
|
|
|
|
}
|
2023-01-25 21:44:09 +02:00
|
|
|
menuentry "banan-os (no apic, no serial)" {
|
|
|
|
|
multiboot /boot/banan-os.kernel noapic noserial
|
|
|
|
|
}
|
2022-11-12 21:04:47 +02:00
|
|
|
EOF
|
|
|
|
|
grub-mkrescue -o banan-os.iso isodir
|
