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

scripts/ventoy.sh

@@ -0,0 +1,35 @@
+#!/usr/bin/env bash
+
+# This script create and copy the Red Bear OS bootable image to an Ventoy-formatted device
+
+set -e
+
+ARCHS=(
+    i686
+    x86_64
+)
+CONFIGS=(
+    demo
+    desktop
+)
+
+VENTOY="/media/${USER}/Ventoy"
+if [ ! -d "${VENTOY}" ]
+then
+    echo "Ventoy not mounted" >&2
+    exit 1
+fi
+
+for ARCH in "${ARCHS[@]}"
+do
+    for CONFIG_NAME in "${CONFIGS[@]}"
+    do
+        IMAGE="build/${ARCH}/${CONFIG_NAME}/rbos-live.iso"
+        make ARCH="${ARCH}" CONFIG_NAME="${CONFIG_NAME}" "${IMAGE}"
+        cp -v "${IMAGE}" "${VENTOY}/rbos-${CONFIG_NAME}-${ARCH}.iso"
+    done
+done
+
+sync
+
+echo "Finished copying configs (${CONFIGS[@]}) for archs (${ARCHS[@]})"