probed is the hardware discovery daemon for EriX.
  • Rust 99.3%
  • Linker Script 0.7%
Find a file
Erik Inkinen 67a2bfc0b7
All checks were successful
CI / markdown (push) Successful in 3s
CI / test (push) Successful in 20s
Tighten CI markdown policy
2026-05-22 15:10:37 +03:00
.github Tighten CI markdown policy 2026-05-22 15:10:37 +03:00
src Fix probed strict clippy return 2026-04-24 09:19:59 +03:00
.editorconfig Initial commit 2026-03-08 15:54:53 +01:00
.gitignore Ignore local .ci workspace 2026-04-15 21:53:00 +03:00
.markdownlint-cli2.yaml Tighten CI markdown policy 2026-05-22 15:10:37 +03:00
ARCHITECTURE.md Tighten CI markdown policy 2026-05-22 15:10:37 +03:00
Cargo.toml Point probed git dependencies at main branch 2026-04-22 04:55:18 +03:00
CODE_OF_CONDUCT.md Tighten CI markdown policy 2026-05-22 15:10:37 +03:00
CONTRIBUTING.md Tighten CI markdown policy 2026-05-22 15:10:37 +03:00
LICENSE Initial commit 2026-03-08 15:54:53 +01:00
linker.ld Seed virtio block discovery 2026-04-24 09:01:36 +03:00
README.md Tighten CI markdown policy 2026-05-22 15:10:37 +03:00
ROADMAP.md Tighten CI markdown policy 2026-05-22 15:10:37 +03:00
rustfmt.toml probed: drop unstable rustfmt options for stable toolchains 2026-03-23 10:19:56 +02:00
SECURITY.md Tighten CI markdown policy 2026-05-22 15:10:37 +03:00

probed

probed is the hardware discovery daemon for EriX.

EriX is a clean-room, capability-based microkernel operating system written entirely in Rust.

Technical requirements are tracked in the EriX requirements, conventions, and project documentation.

See:

  • docs for design documents, specifications, and development plans.
  • Related architecture repositories for kernel, services, libraries, drivers, and integration tooling.

Purpose of This Repository

This repository implements the EriX probe service daemon. Its purpose in EriX is to provide the probe service role through explicit IPC and startup authority.

Functionally, it implements the daemon runtime, state model, IPC handling, and validation tests. The repository keeps the implementation, interface contracts, tests, and documentation for that behavior in one reviewable ownership boundary.

The maintained responsibilities are:

  • implement the probe service runtime and state model
  • validate startup authority before accepting IPC requests
  • handle bounded service operations through the assigned endpoint set
  • keep service behavior, tests, and authority invariants documented

Clean-Room Policy

EriX follows a strict clean-room philosophy:

  • No external source code may be copied.
  • No external Rust crates are allowed.
  • No code generation tools that embed third-party code.
  • All code must be authored within the project.

Violations will result in rejection of the contribution.

License

All EriX repositories are licensed under the ISC License.

Development Model

EriX development is modular, deterministic, reproducible, authority-explicit, security-first, and self-hosting oriented.

This repository follows the project roadmap and the validation rules documented in its own roadmap.

Build

cargo build --all-targets --all-features

Test

cargo test --all-targets --all-features
cargo clippy --all-targets --all-features -- -D warnings

Build and Test Modes

This repository supports additive runtime and integration feature gates.

  • *-runtime and *-runtime-phase* features select production bootstrap/runtime behavior.
  • *-integration-smoke remains available for synthetic end-to-end validation paths.
  • *-integration-force-fail remains test-only and MUST NOT be enabled for runtime appliance builds.

Compatibility aliases are kept so existing scenario feature names continue to compile while the runtime naming becomes canonical.

Validation Note

The host/test QUERY_CAP fallback remains cfg-scoped so runtime/release builds stay warning-free.

Governance Principles

probed governance is scoped to hardware/platform probe reporting.

The scoped governance rules are:

  • It reports only probe data derived from authorized platform inputs.
  • It keeps discovery results bounded and deterministic for device management.
  • It separates probe reporting from driver start and provider publication policy.
  • It rejects malformed probe inputs instead of manufacturing devices.

Authority Boundaries

  • probed operates only through startup-assigned service capabilities.
  • New authority must be represented in bootstrap/capability validation and integration tests before use.

Contact

Development occurs in EriX organization and discussions happen in issues and design documents.

No decisions are considered valid without documented rationale.

Maintainers can be reached via email: admin@erikinkinen.fi.