RedBear-OS

Files

T

vasilito d8af8e33c2 fix: cookbook cache invalidation — use max(recipe, source) timestamps

Bug: src/cook/cook_build.rs:268 only bumps source_modified when
recipe.toml is STRICTLY newer than source. In normal workflow:
  1. Recipe edited at T1 (adds patch to patches array)
  2. Source re-fetched at T2 > T1 (during make r.<recipe>)
  3. Build caches stage at T3
  4. Next build: recipe(T1) > source(T2) = FALSE → edit ignored

Fix: source_modified = source_modified.max(recipe_modified);
always considers recipe timestamp regardless of relative ordering.

Root cause of kernel rebrand not taking effect was ALSO a missing
.git/HEAD in the source tree (cookbook skips patches for release
archives). Re-fetch with 'repo --allow-protected fetch kernel'
restored the git repo and enabled patch application.

Verified: 'RedBear OS starting...' appears in QEMU boot log.

2026-05-04 20:29:49 +01:00

cook_build.rs

fix: cookbook cache invalidation — use max(recipe, source) timestamps

2026-05-04 20:29:49 +01:00

fetch_repo.rs

Red Bear OS — microkernel OS in Rust, based on Redox

2026-04-12 19:05:00 +01:00

fetch.rs

chore: sync all pending changes — kirigami platform headers, cookbook fix, docs, patches

2026-05-04 11:57:48 +01:00

fs.rs

Red Bear OS — microkernel OS in Rust, based on Redox