Upgrade vulnerable rustls version
Pull request merge
nspinpushed 1 commit to main • 379c008…5b9ebfd • on Nov 26, 2024
nix: Use unwinding target for Ring test
Pull request merge
nspinpushed 1 commit to main • 5826be1…379c008 • on Nov 26, 2024
nix: Re-enable panicking tests
Pull request merge
nspinpushed 1 commit to main • d6d2b48…5826be1 • on Nov 15, 2024
nix: Rename aggregating.nix -> aggregates.nix
Pull request merge
nspinpushed 12 commits to main • 72a9ec3…d6d2b48 • on Nov 14, 2024
nix: Use immutable rev for LLVM source
Pull request merge
nspinpushed 1 commit to main • f9adad8…72a9ec3 • on Nov 12, 2024
crates/sel4-initialize-tls: Refactor interface
Pull request merge
nspinpushed 8 commits to main • 49d2d3c…f9adad8 • on Nov 11, 2024
nix: Push a more relevant expression to cachix
Pull request merge
nspinpushed 18 commits to main • b810c94…49d2d3c • on Nov 1, 2024
nix: Refactor ferrocene expression and bump ferrocene
Pull request merge
nspinpushed 5 commits to main • c9e7035…b810c94 • on Oct 30, 2024
nspinpushed 5 commits to main • 5f96d76…c9e7035 • on Oct 30, 2024
nspinpushed 1 commit to main • 494d635…5f96d76 • on Oct 29, 2024
cmm: Add missing copyright header
Pull request merge
nspinpushed 21 commits to main • dad6e4a…494d635 • on Oct 29, 2024
nspinpushed 2 commits to main • 4d8e464…dad6e4a • on Oct 28, 2024
crates/sel4-capdl-initializer: Address warning
Pull request merge
nspinpushed 8 commits to main • 88b5fe7…4d8e464 • on Oct 28, 2024
crates/sel4/sys: Make clang invocation more robust
Pull request merge
nspinpushed 1 commit to main • 2d35028…88b5fe7 • on Oct 28, 2024
crates/sel4-backtrace/symbolize: Improve output style
Pull request merge
nspinpushed 7 commits to main • 7471a5a…2d35028 • on Oct 25, 2024
nix: Make shell aliases more consistent
Pull request merge
nspinpushed 14 commits to main • a048181…7471a5a • on Oct 25, 2024
nspinpushed 18 commits to main • 172f5f1…a048181 • on Oct 24, 2024
nix: Use symbolic dlmalloc version
Pull request merge
nspinpushed 18 commits to main • 69838c2…172f5f1 • on Oct 24, 2024
crates/sel4: Add ImplicitReplyAuthority::reply
Pull request merge
nspinpushed 1 commit to main • dc050d5…69838c2 • on Oct 9, 2024
crates/private/meta: Fix cross-platform build
Pull request merge
nspinpushed 7 commits to main • 6dd5dd0…dc050d5 • on Oct 7, 2024
crates/sel4-microkit: Suppress warnings in macro expansions
Pull request merge
nspinpushed 1 commit to main • 2312360…6dd5dd0 • on Oct 7, 2024
crates/sel4-panicking/env: Improve rustdoc
Pull request merge
nspinpushed 18 commits to main • a43d66e…2312360 • on Oct 7, 2024
Don't hide docs for DEFAULT_STACK_SIZE
Pull request merge
nspinpushed 2 commits to main • 9b82998…a43d66e • on Sep 25, 2024
nspinpushed 6 commits to main • b3b9038…9b82998 • on Sep 25, 2024
Add dummy vscode rust-analyzer config
Pull request merge
nspinpushed 1 commit to main • a49e59d…b3b9038 • on Sep 22, 2024
Remove metadata from target specs
Pull request merge
nspinpushed 1 commit to main • 5f6d5da…a49e59d • on Sep 19, 2024
Suppress warnings in macro expansions
Pull request merge
nspinpushed 1 commit to main • 1cd063a…5f6d5da • on Sep 19, 2024
Add support for Microkit on riscv64
Pull request merge
nspinpushed 3 commits to main • 1431a95…1cd063a • on Sep 18, 2024
nspinpushed 3 commits to main • c5a0945…1431a95 • on Sep 18, 2024
nspinpushed 9 commits to main • d3790bf…c5a0945 • on Sep 18, 2024
You can’t perform that action at this time.