Repository navigation
Add krun_set_passt_fd FFI bindings #456
Description
Task
repo: gominimal/minimal
spec: docs/specs/03-spec-minvmd-networking-gvproxy/03-spec-minvmd-networking-gvproxy.md
requirements: R2.1, R2.2
files in scope:
- crates/minvmd/src/krun/raw.rs
- crates/minvmd/src/krun/ctx.rs
- crates/minvmd/src/error.rs
proof artifacts: - Test:
cargo test -p minvmd krun::passes — unit tests inctx.rsverifyset_passt_fd()rejects negative FDs with typedVmError::IowrappingEBADF - CLI:
cargo build -p minvmdsucceeds with no linker errors — proves FFI declaration matches libkrun C API
verification: - cargo test -p minvmd
- cargo build -p minvmd
depends on: - blocked by Create net.rs module with NetworkMode and gvproxy spawn #453
Related to #404
Related to #451
Generated by sdd-triage for issue #404 · sonnet45 2.4M · ◷
Activity
gominimal-aw-bot commentedon Jun 19, 2026
/execute
norrietaylor commentedon Jun 19, 2026
/execute
norrietaylor commentedon Jun 19, 2026
/execute
norrietaylor commentedon Jun 19, 2026
Closed: tracking issue #404 abandoned. See #404 for rationale.