Files
vasilito 50b731f1b7 Red Bear OS — microkernel OS in Rust, based on Redox
Derivative of Redox OS (https://www.redox-os.org) adding:
- AMD GPU driver (amdgpu) via LinuxKPI compat layer
- ext4 filesystem support (ext4d scheme daemon)
- ACPI fixes for AMD bare metal (x2APIC, DMAR, IVRS, MCFG)
- Custom branding (hostname, os-release, boot identity)

Build system is full upstream Redox with RBOS overlay in local/.
Patches for kernel, base, and relibc are symlinked from local/patches/
and protected from make clean/distclean. Custom recipes live in
local/recipes/ with symlinks into the recipes/ search path.

Build:  make all CONFIG_NAME=redbear-full
Sync:   ./local/scripts/sync-upstream.sh
2026-04-12 19:05:00 +01:00

33 lines
602 B
TOML

#TODO port to redox
[source]
tar = "https://ftp.gnu.org/gnu/gdb/gdb-15.1.tar.xz"
[build]
template = "custom"
dependencies = [
"libgmp",
"libmpfr",
"ncurses",
"readline",
]
script = """
DYNAMIC_INIT
COOKBOOK_CONFIGURE_FLAGS+=(
--disable-binutils
--disable-ld
--disable-gold
--disable-gas
--disable-sim
--disable-gprof
--disable-gprofng
--disable-intl
--with-system-readline
--with-gmp="${COOKBOOK_SYSROOT}"
--with-mpfr="${COOKBOOK_SYSROOT}"
--with-curses
)
"${COOKBOOK_CONFIGURE}" "${COOKBOOK_CONFIGURE_FLAGS[@]}"
cookbook_configure
"""