19 lines
477 B
Bash
Executable File
19 lines
477 B
Bash
Executable File
#!/bin/sh -ex
|
|
|
|
EFI_BINARY="$1"
|
|
|
|
cd ../nel_os_kernel
|
|
cargo build --release -q
|
|
cd ../nel_os_bootloader
|
|
|
|
dd if=/dev/zero of=fat.img bs=1k count=1440
|
|
mformat -i fat.img -f 1440 ::
|
|
mmd -i fat.img ::/EFI
|
|
mmd -i fat.img ::/EFI/BOOT
|
|
mcopy -i fat.img "$EFI_BINARY" ::/EFI/BOOT/BOOTX64.EFI
|
|
mcopy -i fat.img ../nel_os_kernel/target/x86_64-nel_os/release/nel_os_kernel.elf ::/nel_os_kernel.elf
|
|
|
|
mkdir iso
|
|
cp fat.img iso
|
|
xorriso -as mkisofs -R -f -e fat.img -no-emul-boot -o nel_os.iso iso
|