nix: Upstream minor Nixpkgs patches to allow use of upstream Nixpkgs #287
Description
The https://github.com/coliasgroup/nixpkgs/tree/rust-sel4 branch has two minor patches that should be upstreamed.
{{ message }}
The https://github.com/coliasgroup/nixpkgs/tree/rust-sel4 branch has two minor patches that should be upstreamed.