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

25 Open 18 Closed
25 Open 18 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

Publish some crates to crates.io
#211 opened Oct 12, 2024 by nspin
Use terms "frame" and "page" more intentionally
#206 opened Oct 2, 2024 by nspin
Reduce ring buffer memory region size in HTTP server demo
#205 opened Sep 27, 2024 by nspin
Improve Nix test infra
#202 opened Sep 25, 2024 by nspin
1 task
Investigate why unwinding with profile = "dev" requires so much stack space
#201 opened Sep 25, 2024 by nspin
Use guard pages where possible
#200 opened Sep 24, 2024 by nspin
Improve pexpect testing utilities
#199 opened Sep 24, 2024 by nspin
Update sDDF interfaces
#195 opened Sep 18, 2024 by nspin
Remove assert!() from sel4_sys::seL4_Fault::arch_get_with
#190 opened Sep 18, 2024 by nspin
Improve experience developing on this project with rust-analyzer
#189 opened Sep 18, 2024 by nspin
Clearly specify range of supported compiler versions
#188 opened Sep 18, 2024 by nspin
Replace instances of cargo: with cargo:: in build scripts
#187 opened Sep 18, 2024 by nspin
Improve symbolization implementation
#186 opened Sep 18, 2024 by nspin
Use llvm-addr2line and rustfilt to symbolize exported backtraces
#185 opened Sep 18, 2024 by nspin
Improve implementation of sel4-atomic-ptr
#184 opened Sep 18, 2024 by nspin
Incorporate core::error
#183 opened Sep 18, 2024 by nspin
Replace sel4-rustfmt crate with prettyplease
#182 opened Sep 18, 2024 by nspin
1
Bump syn to 2.0
#181 opened Sep 18, 2024 by nspin
Document where to find symbols and debug info for sel4-kernel-loader
#180 opened Aug 26, 2024 by nspin
Run Clippy into CI
#175 opened Aug 9, 2024 by nspin
Respect cap rights in capDL initialiser
#104 opened Mar 4, 2024 by Ivan-Velickovic
2
Add support for sel4_cfg_attr to sel4_cfg_struct, sel4_cfg_enum, and sel4_cfg_match
#88 opened Feb 14, 2024 by nspin
Upstream capDL-tool patches
#83 opened Feb 10, 2024 by nspin
Unsafe Rust in dependencies
#17 opened Sep 28, 2023 by podhrmic
5
Kani for unsafe rust
#16 opened Sep 27, 2023 by podhrmic
3
ProTip! Adding no:label will show everything without a label.