All issues

Search results

core-proof harness: #609 masked-reclaim-lock mutation only reintroduces half the original defect (companion bare-Mutex hazard already closed by #632)

Status: Open.

#685In ryanbreen/breenix;

· ryanbreen opened on Aug 29, 2026

core-proof harness: #645 stale-per-CPU-identity mutation site is inert (boot-only read, no concurrent observer)

Status: Open.

#684In ryanbreen/breenix;

· ryanbreen opened on Aug 29, 2026

kthread_tests::* leave IF clear before kernel_main_continue(), hanging first x86 registry dispatch

Status: Open.

#682In ryanbreen/breenix;

· ryanbreen opened on Aug 28, 2026

x86: a registry test's user process trips the userspace runner's terminal verdict early

Status: Open.

#681In ryanbreen/breenix;

· ryanbreen opened on Aug 28, 2026

x86: boot thread is stranded when the last EarlyBoot subsystem kthread exits

Status: Open.

#680In ryanbreen/breenix;

· ryanbreen opened on Aug 28, 2026

build: kernel/build.rs discards the userspace build's stderr before panicking

Status: Open.

#679In ryanbreen/breenix;

· ryanbreen opened on Aug 28, 2026

build: rust-fork is a committed symlink to an absolute macOS path

Status: Open.

#678In ryanbreen/breenix;

· ryanbreen opened on Aug 28, 2026

aarch64 preempt_enable() has no underflow guard: an unpaired release still wraps preempt_count

Status: Open.

#675In ryanbreen/breenix;

· ryanbreen opened on Aug 28, 2026

x86 production profile launches no userspace process, so x86 production teardown is structurally unexercisable

Status: Open.

#673In ryanbreen/breenix;

· ryanbreen opened on Aug 28, 2026

read/write/pread64/pwrite64 return 0 for a zero-length request before validating the fd (Linux returns EBADF)

Status: Open.

#670In ryanbreen/breenix;

· ryanbreen opened on Aug 28, 2026

x86: self-documented gap between preempt_count and can_schedule() during boot-thread disk-completion busy-spin

Status: Open.

#666In ryanbreen/breenix;

· ryanbreen opened on Aug 27, 2026

x86: interactive profile still loads init_shell inside without_interrupts (same shape #554 fixed for the testing profile, unmeasured)

Status: Open.

#665In ryanbreen/breenix;

· ryanbreen opened on Aug 27, 2026