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

Remove old EFI harddrive target

Browse source
This commit is contained in:
Jeremy Soller 2020-11-22 21:12:32 -07:00
parent 8042c2be54
commit 23adc0ddc7
No known key found for this signature in database
GPG key ID: E988B49EE78A7FB1
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
mk/disk.mk
View file

@ -41,14 +41,6 @@ build/bootloader.efi: bootloader-efi/build/$(EFI_TARGET)/boot.efi
mkdir -p build mkdir -p build
cp -v $< $@ cp -v $< $@
build/harddrive-efi-old.bin: build/bootloader.efi build/filesystem.bin
dd if=/dev/zero of=$@.partial bs=1048576 count=$$(expr $$(du -m $< | cut -f1) + 1)
mkfs.vfat $@.partial
mmd -i $@.partial efi
mmd -i $@.partial efi/boot
mcopy -i $@.partial $< ::efi/boot/bootx64.efi
cat $@.partial build/filesystem.bin > $@
build/harddrive-efi.bin: build/bootloader.efi build/filesystem.bin build/harddrive-efi.bin: build/bootloader.efi build/filesystem.bin
# TODO: Validate the correctness of this \ # TODO: Validate the correctness of this \
# Populate an EFI system partition \ # Populate an EFI system partition \