mirror of
https://github.com/linuxkit/linuxkit.git
synced 2026-04-05 07:54:56 +00:00
fdc4eb7c32
In line with BIOS ISO changes previously. Remove boot options, user can add if required, they made boot very slow. Signed-off-by: Justin Cormack <justin.cormack@docker.com>
71 lines
2.5 KiB
Bash
Executable File
71 lines
2.5 KiB
Bash
Executable File
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
mkdir -p /tmp/efi
|
|
cd /tmp/efi
|
|
|
|
# input is a tarball on stdin with kernel and cmdline in /boot
|
|
# output is an iso on stdout
|
|
|
|
# extract. BSD tar auto recognises compression, unlike GNU tar
|
|
# only if stdin is a tty, if so need files volume mounted...
|
|
[ -t 0 ] || bsdtar xzf -
|
|
|
|
CMDLINE="$(cat boot/cmdline)"
|
|
# if no root= root device specified, assume /dev/sr0 ie first CD drive
|
|
echo "${CMDLINE}" | grep -q 'root=' || CMDLINE="${CMDLINE} root=/dev/sr0"
|
|
rm boot/cmdline
|
|
|
|
# Create a EFI boot file with kernel. From:
|
|
# https://github.com/haraldh/mkrescue-uefi/blob/master/mkrescue-uefi.sh
|
|
cp /usr/lib/gummiboot/linuxx64.efi.stub .
|
|
echo "${CMDLINE}" > cmdline.txt
|
|
|
|
objcopy \
|
|
--add-section .osrel=/etc/os-release --change-section-vma .osrel=0x20000 \
|
|
--add-section .cmdline=./cmdline.txt --change-section-vma .cmdline=0x30000 \
|
|
--add-section .linux=./boot/kernel --change-section-vma .linux=0x40000 \
|
|
./linuxx64.efi.stub \
|
|
linuxkit.efi
|
|
|
|
rm cmdline.txt
|
|
|
|
# create a ISO with a EFI boot partition
|
|
# Stuff it into a FAT filesystem, making it as small as possible. 511KiB
|
|
# headroom seems to be enough; (x+31)/32*32 rounds up to multiple of 32.
|
|
mkfs.vfat -v -C boot/efi.raw \
|
|
$(( ($(stat -c %s "linuxkit.efi") / 1024 + 511) \
|
|
/ 32 * 32 )) > /dev/null
|
|
echo "mtools_skip_check=1" >> /etc/mtools.conf && \
|
|
mmd -i boot/efi.raw ::/EFI
|
|
mmd -i boot/efi.raw ::/EFI/BOOT
|
|
mcopy -i boot/efi.raw linuxkit.efi ::/EFI/BOOT/BOOTX64.EFI
|
|
|
|
rm linuxkit.efi linuxx64.efi.stub
|
|
|
|
xorriso -as mkisofs \
|
|
-R -e boot/efi.raw -no-emul-boot -o linuxkit-efi.iso .
|
|
|
|
cat linuxkit-efi.iso
|
|
|
|
# How to build a VHDX. Commented out because we are currently not using it
|
|
# Don't delete: It took too long to figure out how to do this...
|
|
# # create a disk image (150MB)
|
|
# # This is a little odd, as we run this as part of the default command.
|
|
# # Can't run this during the build step as it requires privilege.
|
|
# # The Magic numbers in losetup are startsector (2048) times 512 and
|
|
# # (endsector - startsector) * 512
|
|
# CMD cd /tmp/efi && \
|
|
# dd if=/dev/zero of=disk.raw bs=1024 count=51200 && \
|
|
# sgdisk -N 1 -t 1:ef00 disk.raw && \
|
|
# losetup -o 1048576 --sizelimit 51362816 /dev/loop/1 disk.raw && \
|
|
# mkfs.vfat /dev/loop/1 && \
|
|
# echo "drive c: file=\"/dev/loop/1\" mtools_skip_check=1" > /etc/mtools.conf && \
|
|
# mmd c:/EFI && \
|
|
# mmd c:/EFI/BOOT && \
|
|
# mcopy linuxkit.efi c:/EFI/BOOT/BOOTX64.EFI && \
|
|
# losetup -d /dev/loop/1 && \
|
|
# qemu-img convert -O vhdx disk.raw linuxkit-boot.vhdx && \
|
|
# cp /tmp/efi/linuxkit.efi /tmp/efi/linuxkitefi.iso /tmp/efi/linuxkit-boot.vhdx /mnt/
|