Files

T

History

vasilito c120c3519f git: restore clean submodule tracking and add libredox fork

The working tree had accumulated git-tracking drift across the
local/sources, local/recipes/*/source, and local/reference trees.

Restored:
  - local/sources/libredox: add missing 160000 gitlink at
    d01da350 (submodule/libredox). The .gitmodules entry already
    declared this fork; the parent tree entry was missing so a
    fresh clone of the parent would not pull the libredox source.
  - .gitignore: mark the four local/recipes/*/source build-cache
    trees (uutils-tar, ninja-build, sddm, sddm/source-pristine)
    and the two local/reference/* entries (linux-7.1, seL4) as
    ignored. These are build caches and external references, not
    durable Red Bear code. The durable code for the four recipes
    is recipe.toml + the corresponding patch (redox.patch).
  - Note in .gitignore: do not extend local/recipes/**/source to
    a blanket rule, because ~150 Red Bear fork recipes do keep
    their durable source under local/recipes/<name>/source/.

Removed six broken 160000 gitlinks:
  - local/recipes/archives/uutils-tar/source (e4c2affa...): on-disk
    working tree was a self-clone of RedBear-OS; gitlink pointed to
    a non-existent commit in the parent object database.
  - local/recipes/dev/ninja-build/source (d829f42b...): gitlink
    was a dangling commit on a diverged branch that has since been
    rewritten; the on-disk HEAD is upstream v1.13.1 (79feac0) which
    the recipe re-fetches via recipe.toml anyway. The 6.4MB
    embedded .git directory was also removed.
  - local/recipes/kde/sddm/source (63780fcd...): build cache for
    sddm 0.21.0 re-fetched via recipe.toml. The 11MB embedded
    .git directory was also removed.
  - local/recipes/kde/sddm/source-pristine (63780fcd...): empty
    placeholder, build cache. Removed.
  - local/reference/linux-7.1 (ab9de95c...): external Linux
    reference tree, gitignored by size. The on-disk directory
    is preserved per AGENTS.md 'NEVER delete the reference tree'.
  - local/reference/seL4 (a0b4f2d2...): empty placeholder,
    gitignored.

Removed untracked pollution at repo root:
  - kernel (empty 0-byte file)
  - qqmljsgrammar.cpp, qqmljsgrammar_p.h, qqmljsparser.cpp,
    qqmljsparser_p.h (393KB total: build artifacts that escaped
    a qtdeclarative build into the working tree root; they belong
    inside the recipe source tree, not at the parent level)

Added:
  - local/docs/MULTITHREADING-COMPREHENSIVE-ASSESSMENT-AND-PLAN.md:
    comprehensive multi-threading audit and implementation plan
    covering kernel scheduler, kernel futex, syscall ABI, relibc
    pthreads, and userspace threading correctness. Will drive
    the next implementation cycle after the git tracking work
    is wrapped.

After this commit:
  - 9 submodule entries in HEAD, all of local/sources/* forks.
  - All previously-existing 8 fork submodules unchanged.
  - libredox is now durable across clones (was previously lost).
  - No untracked files at root.
  - No dangling or self-referencing gitlinks.

2026-07-02 06:04:52 +03:00

linux-6.12.tar.gz

local: commit full local tree state

2026-06-18 20:46:44 +03:00

README.md

Remove duplicate redbear-netctl-console recipe (nested inside redbear-netctl)

2026-06-28 00:01:47 +03:00

README.md

Red Bear OS Reference Sources

Reference-only sources for the project. Read-only consultation. Never delete.

Linux Kernel

linux-7.1/ — Latest stable Linux 7.1.1 reference source (2026-06-26). Used for: driver implementations (PCI, USB, GPU/DRM, network, input, storage, filesystems, scheduler, memory, ACPI, etc.), register definitions, hardware initialization sequences, error handling patterns.

Reference-only. NEVER copied into project source. NEVER built as a dependency.

Update Procedure

# Update Linux reference to a newer stable release:
cd local/reference/linux-7.1
git fetch --depth=1 origin tag v7.x
git checkout v7.x

Consultation Pattern

When writing a driver or graphics subsystem, ALWAYS consult the relevant Linux source first:

GPU/DRM: linux-7.1/drivers/gpu/drm/
PCI/PCIe: linux-7.1/drivers/pci/, linux-7.1/include/linux/pci.h
USB: linux-7.1/drivers/usb/
Network: linux-7.1/drivers/net/
Input: linux-7.1/drivers/input/
Storage: linux-7.1/drivers/ata/, linux-7.1/drivers/nvme/
ACPI: linux-7.1/drivers/acpi/
Scheduler: linux-7.1/kernel/sched/
Memory: linux-7.1/mm/
Filesystems: linux-7.1/fs/

Policy

NEVER copy Linux source files into Red Bear project source
ALWAYS reimplement needed functionality in Rust (system-critical)
Use Linux source as documentation/inspiration, not as code
The linux-kpi recipe provides C-header translation only for DRM/GPU and Wi-Fi — NOT a wholesale import of Linux code

Durability

This directory is gitignored but permanent. Survives make clean and make distclean. Update procedure documented above.