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

27 lines
946 B
TOML

# GNU Multiple Precision Arithmetic Library (GMP) is a free and open source
# library for arbitrary-precision arithmetic, operating on signed integers,
# rational numbers, and floating-point numbers.
[source]
tar = "https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz"
blake3 = "fffe4996713928ae19331c8ef39129e46d3bf5b7182820656fd4639435cd83a4"
[build]
template = "custom"
script = """
# libgmp fails to regenerate autotools when building for host toolchain
# To workaround this, the source is copied to the build dir and autotools is
# only regenerated when not building for the host
rsync -a --delete "${COOKBOOK_SOURCE}/" ./
COOKBOOK_SOURCE="${COOKBOOK_BUILD}"
if [ "$TARGET" != "$COOKBOOK_HOST_TARGET" ]; then
autotools_recursive_regenerate
# need to invoke configure in specific way to make shared libs work
./configure --host="${GNU_TARGET}" --prefix="/usr"
COOKBOOK_CONFIGURE=true
fi
DYNAMIC_STATIC_INIT
cookbook_configure
"""