Files
RedBear-OS/local/recipes/drivers/linux-kpi/source/src/lib.rs
T
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

15 lines
536 B
Rust

#![doc = "Linux Kernel API compatibility layer for Redox OS (LinuxKPI-style).\n\nProvides C headers and Rust FFI implementations that translate Linux kernel APIs\nto Redox OS primitives, enabling porting of Linux C drivers as Redox userspace daemons."]
pub mod rust_impl;
pub use rust_impl::device;
pub use rust_impl::dma;
pub use rust_impl::drm_shim;
pub use rust_impl::firmware;
pub use rust_impl::io;
pub use rust_impl::irq;
pub use rust_impl::memory;
pub use rust_impl::pci;
pub use rust_impl::sync;
pub use rust_impl::workqueue;