Skip to content

Make sel4 "state" feature opt-out-able across workspace#335

Open
dlom wants to merge 1 commit intoseL4:mainfrom
dlom:mold/make-state-not-default-everywhere
Open

Make sel4 "state" feature opt-out-able across workspace#335
dlom wants to merge 1 commit intoseL4:mainfrom
dlom:mold/make-state-not-default-everywhere

Conversation

@dlom
Copy link
Copy Markdown

@dlom dlom commented Apr 2, 2026

Add default-features = false to all in-workspace sel4 dependencies so the state feature (thread-local IPC buffer) is not forced on every crate by feature unification.

Runtime crates that require state (sel4-root-task, sel4-microkit, sel4-microkit-base, sel4-simple-task-runtime, sel4-root-task-with-std, spawn-task-child, spawn-thread) explicitly request features = ["state"] on their sel4 dependency. All other crates get only default-features = false.

Validated by: make run-fast-tests (all tests pass on all architectures)

@dlom dlom requested a review from nspin as a code owner April 2, 2026 07:48
Add `default-features = false` to all in-workspace `sel4` dependencies
so the `state` feature (thread-local IPC buffer) is not forced on every
crate by feature unification.

Runtime crates that require state (`sel4-root-task`, `sel4-microkit`,
`sel4-microkit-base`, `sel4-simple-task-runtime`, `sel4-root-task-with-std`,
`spawn-task-child`, `spawn-thread`) explicitly request `features = ["state"]`
on their `sel4` dependency. All other crates get only `default-features = false`.

Validated by: `make run-fast-tests` (all tests pass on all
architectures)

Signed-off-by: Mark Old <mold@redhat.com>
@dlom dlom force-pushed the mold/make-state-not-default-everywhere branch from 43f9243 to f267b1d Compare April 2, 2026 10:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant