Issues

• boot handoff: no compile-time size/offset assert on the duplicated BootHandoffV1

  NON-OS/microkernel#608 · Filter by author senseix21 opened on Oct 9, 2026

• process/address_space/fork.rs: dead clone_for_fork is unsound if revived (no frame refcount, parent left writable)

  NON-OS/microkernel#607 · Filter by author senseix21 opened on Oct 9, 2026

• x86_64: cli/sti asm marked nomem, so interrupt masking is not a compiler barrier

  NON-OS/microkernel#606 · Filter by author senseix21 opened on Oct 9, 2026

• No GPT/partition parser: cannot coexist on a partitioned real disk

  NON-OS/microkernel#428 · Filter by author eKisNonos opened on Jul 23, 2026

• Hardened/production builds cannot boot real HW: unsigned binary vs Secure Boot, TPM required

  NON-OS/microkernel#427 · Filter by author eKisNonos opened on Jul 23, 2026

• Boot hardening: rollback floor skipped without TPM, memory map truncated at 1024 entries

  NON-OS/microkernel#426 · Filter by author eKisNonos opened on Jul 23, 2026

• CR4 SMEP/SMAP/UMIP and CR0.WP never enabled (code exists, verified safe to wire)

  NON-OS/microkernel#424 · Filter by author eKisNonos opened on Jul 23, 2026
  2

• No EDID: real panels boot at wrong / non-native resolution

  NON-OS/microkernel#423 · Filter by author eKisNonos opened on Jul 23, 2026

• SMP compiled out of every build: real machines run on one core

  NON-OS/microkernel#422 · Filter by author eKisNonos opened on Jul 23, 2026
  1

• Two APIC trees: x2APIC never enabled, boot wires the weaker LAPIC path

  NON-OS/microkernel#421 · Filter by author eKisNonos opened on Jul 23, 2026
  1

• Timer reliability: TSC-deadline / HPET calibration / RTC heartbeat all dead, PIT spin can hang boot

  NON-OS/microkernel#420 · Filter by author eKisNonos opened on Jul 23, 2026
  1

• NVMe rejects MPSMIN>0 and never programs CC.MPS

  NON-OS/microkernel#419 · Filter by author eKisNonos opened on Jul 23, 2026

• AHCI hardcodes 512-byte sectors: 4Kn SATA drives corrupt

  NON-OS/microkernel#418 · Filter by author eKisNonos opened on Jul 23, 2026

• usb_msc has no USB transport: USB storage does not work

  NON-OS/microkernel#417 · Filter by author eKisNonos opened on Jul 23, 2026

• xHCI interrupt-IN event ring stalls on foreign events: USB input freezes on real HW

  NON-OS/microkernel#416 · Filter by author eKisNonos opened on Jul 23, 2026

• PCIe ECAM not wired: config access stuck at segment 0 / 256 bytes

  NON-OS/microkernel#415 · Filter by author eKisNonos opened on Jul 23, 2026
  1

• ACPI _PRT / AML missing: PCI INTx interrupts unrouted on real hardware

  NON-OS/microkernel#414 · Filter by author eKisNonos opened on Jul 23, 2026

• Architectural hardening gaps: IOMMU stub, SMEP/SMAP/KASLR unwired on x86

  NON-OS/microkernel#413 · Filter by author eKisNonos opened on Jul 23, 2026
  1

• RFC6979 nonce derivation is non-compliant (missing bits2octets reduction)

  NON-OS/microkernel#412 · Filter by author eKisNonos opened on Jul 23, 2026
  1

• secp256k1 verify accepts high-s (malleability)

  NON-OS/microkernel#411 · Filter by author eKisNonos opened on Jul 23, 2026
  1

• swapgs-imbalance window on SYSCALL exit

  NON-OS/microkernel#410 · Filter by author eKisNonos opened on Jul 23, 2026
  1

• mk_ipc_send_to_pid allows cross-capsule injection into any inbox

  NON-OS/microkernel#407 · Filter by author eKisNonos opened on Jul 23, 2026