vinzenz/redox
0
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Update EFI image creation

Browse source
This commit is contained in:
Jeremy Soller 2019-03-16 14:31:33 -06:00
parent 5d1e38aa86
commit ddb93aa4af
No known key found for this signature in database
GPG key ID: E988B49EE78A7FB1
2 changed files with 3 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bootloader-efi

@ -1 +1 @@
Subproject commit 69f7e6923e34f2d5ddd26f69226b487e2ec09c1c
Subproject commit 8672aa616d2c1fb096ba02f1e0543ca39665a972

9
mk/disk.mk
View file

@ -33,30 +33,25 @@ build/coreboot.elf: bootloader-coreboot/build/bootloader
bootloader-efi/build/redox_bootloader/boot.efi:
$(MAKE) -C bootloader-efi build/redox_bootloader/boot.efi
build/bootloader.efi: bootloader-efi/build/redox_bootloader/boot.efi
cp $< $@
build/harddrive-efi.bin: build/bootloader.efi build/filesystem.bin
build/harddrive-efi.bin: bootloader-efi/build/x86_64-efi-pe/boot.efi build/filesystem.bin
dd if=/dev/zero of=$@.partial bs=1048576 count=4
mkfs.vfat $@.partial
mmd -i $@.partial efi
mmd -i $@.partial efi/boot
mcopy -i $@.partial $< ::efi/boot/bootx64.efi
mmd -i $@.partial redox_bootloader
mcopy -i $@.partial -s bootloader-efi/res ::redox_bootloader
cat $@.partial build/filesystem.bin > $@
build/harddrive-efi.bin.gz: build/harddrive-efi.bin
gzip -k -f $<
build/livedisk-efi.iso: build/bootloader.efi build/kernel_live
build/livedisk-efi.iso: bootloader-efi/build/x86_64-efi-pe/boot.efi build/kernel_live
dd if=/dev/zero of=$@.partial bs=1048576 count=272
mkfs.vfat $@.partial
mmd -i $@.partial efi
mmd -i $@.partial efi/boot
mcopy -i $@.partial $< ::efi/boot/bootx64.efi
mmd -i $@.partial redox_bootloader
mcopy -i $@.partial -s bootloader-efi/res ::redox_bootloader
mcopy -i $@.partial -s build/kernel_live ::redox_bootloader/kernel
mv $@.partial $@