Go to file
Dustin 29ed6cc935
Aimee OS/aimee-os/pipeline/head This commit looks good Details
gen-grub-cfg: Support different kernel file names
Different architectures and/or configurations can use a different name
for the Linux kernel image file.  The `gen-grub-cfg.sh` shell script
needs to be able to identify the correct file name in the GRUB
configuration fragment it embeds in the root filesystem image.
2025-08-22 10:00:06 -05:00
board fixup! board/qemu: Generate sdcard.img with post-image 2025-08-21 17:45:06 -05:00
boot/grub2 gen-grub-cfg: Support different kernel file names 2025-08-22 10:00:06 -05:00
ci board/qemu: Generate sdcard.img with post-image 2025-08-21 07:50:00 -05:00
configs board/qemu: Generate sdcard.img with post-image 2025-08-21 07:50:00 -05:00
kernel First working revision 2025-08-17 16:01:40 -05:00
Config.in fixup! board/qemu: Generate sdcard.img with post-image 2025-08-21 10:06:20 -05:00
external.desc Initial commit 2025-08-17 10:30:19 -05:00
external.mk gen-grub-cfg: Support different kernel file names 2025-08-22 10:00:06 -05:00