Skip to content

coord: gale v0.4.0 delivered the TCB substrate — gust:os seam + verified msgq/mutex/sem; msgq = the verified NavState IPC carrier - #162

Merged
avrabe merged 2 commits into
mainfrom
coord/gale-v040-primitives
Jul 23, 2026
Merged

coord: gale v0.4.0 delivered the TCB substrate — gust:os seam + verified msgq/mutex/sem; msgq = the verified NavState IPC carrier#162
avrabe merged 2 commits into
mainfrom
coord/gale-v040-primitives

coord: sharpen gale track discipline — v0.4.0 (cut, functional) deliv…

e07bc37
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar