Nick Spinale

Thanks for adding these. See https://github.com/seL4/rust-sel4/pull/251#issuecomment-2756257584 for addressing the CI failures.

Thanks for the fix! I just fixed the link check issue in https://github.com/seL4/rust-sel4/pull/253, so rebasing will take care of that failure. As for the gitlint, the seL4 org has a...

In some cases, via https://docs.rs/bindgen/latest/bindgen/struct.Builder.html#method.formatter

Resolved by https://github.com/seL4/rust-sel4/pull/215

Perhaps every crate should have an explicit MSRV.

Excellent, thank you. Yes, the next step for the kernel loader is for it to not depend on `CONFIG_PLAT_*` at compile-time, but rather configure itself at runtime using the device...

Upon further investigation: Leaning on `core::sync::atomic` won't work because `core::sync::atomic::Atomic*` are implemented using `UnsafeCell`, which isn't suitable for shared memory. See [this explanation](https://docs.rs/volatile/0.6.1/volatile/index.html#why-is-there-no-volatilecell) for why not.

Implementing a Rust language runtime, which the CapDL initializer requires (even in its simplest configuration), necessarily entails the use of unstable Rust features. For example, `#![feature(lang_items)]` is required for setting...

One of nice things about Microkit is its simple, minimal ABI. From my perspective, the ABI is so simple that implementing the `sel4-microkit` crate at the ABI level incurs a...

Interesting, thanks for raising this issue. According to my understanding, the inline assembly (`asm!("svc 0", ...)`) at the core of each syscall should serve as a compiler barrier, obviating the...