Skip to content

Issues: seL4/rust-sel4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
29 Open 23 Closed
29 Open 23 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Unsafe Rust in dependencies
#17 opened Sep 28, 2023 by podhrmic updated Oct 3, 2023
5
Upstream capDL-tool patches
#83 opened Feb 10, 2024 by nspin updated Feb 10, 2024
Add support for sel4_cfg_attr to sel4_cfg_struct, sel4_cfg_enum, and sel4_cfg_match
#88 opened Feb 14, 2024 by nspin updated Feb 14, 2024
Respect cap rights in capDL initialiser
#104 opened Mar 4, 2024 by Ivan-Velickovic updated Mar 5, 2024
2
Kani for unsafe rust
#16 opened Sep 27, 2023 by podhrmic updated May 29, 2024
3
Document where to find symbols and debug info for sel4-kernel-loader
#180 opened Aug 26, 2024 by nspin updated Aug 26, 2024
Incorporate core::error
#183 opened Sep 18, 2024 by nspin updated Sep 18, 2024
Use llvm-addr2line and rustfilt to symbolize exported backtraces
#185 opened Sep 18, 2024 by nspin updated Sep 18, 2024
Replace instances of cargo: with cargo:: in build scripts
#187 opened Sep 18, 2024 by nspin updated Sep 18, 2024
Improve experience developing on this project with rust-analyzer
#189 opened Sep 18, 2024 by nspin updated Sep 18, 2024
Remove assert!() from sel4_sys::seL4_Fault::arch_get_with
#190 opened Sep 18, 2024 by nspin updated Sep 18, 2024
Update sDDF interfaces
#195 opened Sep 18, 2024 by nspin updated Sep 18, 2024
Improve pexpect testing utilities
#199 opened Sep 24, 2024 by nspin updated Sep 24, 2024
Use guard pages where possible
#200 opened Sep 24, 2024 by nspin updated Sep 24, 2024
Improve Nix test infra
#202 opened Sep 25, 2024 by nspin updated Sep 25, 2024
1 task
Investigate why unwinding with profile = "dev" requires so much stack space
#201 opened Sep 25, 2024 by nspin updated Sep 25, 2024
Reduce ring buffer memory region size in HTTP server demo
#205 opened Sep 27, 2024 by nspin updated Sep 27, 2024
Use terms "frame" and "page" more intentionally
#206 opened Oct 2, 2024 by nspin updated Oct 2, 2024
Publish some crates to crates.io
#211 opened Oct 12, 2024 by nspin updated Oct 12, 2024
Improve implementation of sel4-atomic-ptr
#184 opened Sep 18, 2024 by nspin updated Oct 25, 2024
1
Simplify backtrace handling
#216 opened Oct 25, 2024 by nspin updated Oct 25, 2024
Switch to Cargo.lock v4
#219 opened Oct 28, 2024 by nspin updated Oct 28, 2024
cmm: Support unbounded line width
#222 opened Oct 29, 2024 by nspin updated Oct 29, 2024
Consider tracking stable instead of nightly
#229 opened Oct 31, 2024 by nspin updated Oct 31, 2024
Expand testing with older Rust toolchains
#230 opened Oct 31, 2024 by nspin updated Oct 31, 2024
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.