# Red Bear OS GRUB Configuration
# Text-only ISO with GRUB boot manager for bare metal.
#
# Build: make live CONFIG_NAME=redbear-grub
#
# Identical to redbear-mini but uses GNU GRUB as the boot manager
# instead of the Redox EFI bootloader.

include = ["redbear-mini.toml", "redbear-grub-policy.toml"]

[general]
bootloader = "grub"
efi_partition_size = 16

[packages]
grub = {}