vasilito 5b651c4462 Fix install-grub.sh to source Redox bootloader from cookbook artifacts ...

The script now reads the Redox bootloader from the cookbook's bootloader
package output instead of extracting it from the ESP. This makes it
idempotent — previously, rerunning after GRUB install would copy GRUB
itself into EFI/REDBEAR/redbear.efi because ESP's BOOTX64.EFI was GRUB.

2026-04-17 21:36:59 +01:00

..

Assets/images

Red Bear OS — microkernel OS in Rust, based on Redox

2026-04-12 19:05:00 +01:00

config

Add runtime tools and Red Bear service wiring

2026-04-14 10:50:42 +01:00

docs

Update GRUB plan with Phase 2 testing instructions

2026-04-17 21:24:13 +01:00

patches

Add fail-hard validation for GRUB bootloader mode in installer

2026-04-17 21:36:44 +01:00

recipes

Add GRUB EFI build recipe and chainload configuration

2026-04-17 21:04:39 +01:00

scripts

Fix install-grub.sh to source Redox bootloader from cookbook artifacts

2026-04-17 21:36:59 +01:00

AGENTS.md

Refresh project documentation

2026-04-17 13:34:49 +01:00