Issues

• [devex] sibling smoke: ECAM constant changes need pci_ecam image coverage

  julerex/lerux#137 · Filter by author cursor opened on Oct 28, 2026

• [devex] host check: reject overlapping Microkit ioport ranges

  julerex/lerux#136 · Filter by author cursor opened on Oct 28, 2026

• [devex] check-spawn: add how-explainer role

  julerex/lerux#135 · Filter by author cursor opened on Oct 28, 2026

• [devex] Interval collision test for lerux-machine device windows

  julerex/lerux#134 · Filter by author cursor opened on Oct 28, 2026

• [devex] check-spawn: require literal readonly: true for how-explorer

  julerex/lerux#133 · Filter by author cursor opened on Oct 28, 2026

• [devex] Host check: QEMU -device help type tokens vs generated lines

  julerex/lerux#132 · Filter by author cursor opened on Oct 28, 2026

• [devex] Host check: QEMU -device help type tokens vs generated lines

  julerex/lerux#130 · Filter by author cursor opened on Oct 28, 2026