From e66bb91b2b3ca11093d4cb045178bab18fecbb9a Mon Sep 17 00:00:00 2001 From: Vasilito Date: Fri, 17 Apr 2026 21:23:48 +0100 Subject: [PATCH] Add redbear-full-grub config with GRUB boot manager Includes bootloader = "grub" and efi_partition_size = 16. Builds GRUB as primary boot manager that chainloads the Redox bootloader. Ultraworked with [Sisyphus](https://github.com/code-yeongyu/oh-my-openagent) Co-authored-by: Sisyphus --- config/redbear-full-grub.toml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 config/redbear-full-grub.toml diff --git a/config/redbear-full-grub.toml b/config/redbear-full-grub.toml new file mode 100644 index 00000000..471a2e53 --- /dev/null +++ b/config/redbear-full-grub.toml @@ -0,0 +1,14 @@ +# Red Bear OS Full Configuration with GRUB Boot Manager +# Desktop + RBOS branding + GRUB chainload +# +# Build: make all CONFIG_NAME=redbear-full-grub +# +# This config adds GRUB as boot manager (Phase 2 installer-native). +# GRUB presents a menu and chainloads the Redox bootloader. +# Requires: efi_partition_size >= 8 (16 recommended for GRUB + Redox bootloader + margin) + +include = ["redbear-full.toml"] + +[general] +bootloader = "grub" +efi_partition_size = 16