Search results

Zephyr 4.5 working draft — surface delta survey: gale unaffected at verified API

Status: Open.

#43 In pulseengine/gale;

· avrabe opened on May 11, 2026

MIRAI prototype — evaluate abstract interpretation on RTOS kernel primitives (ring_buf, scheduler, atomics)

Status: Open.

#23 In pulseengine/gale;

· avrabe opened on Apr 22, 2026

Heap hardening gap: gale_heap.c missing upstream 4.4 canary code

Status: Open.

#15 In pulseengine/gale;

· avrabe opened on Apr 20, 2026

Upstream picolibc fix for ld.lld + LTO

Status: Open.

#12 In pulseengine/gale;

· avrabe opened on Mar 29, 2026

ZMS: Add ASIL-D enhancements (reserved capacity, write verification, redundancy)

Status: Open.

#11 In pulseengine/gale;

· avrabe opened on Mar 29, 2026

STPA GAP-2: Wire remaining 50 RED FFI functions to verified models

Status: Open.

#9 In pulseengine/gale;

· avrabe opened on Mar 29, 2026