Yehowshua/RiscV-Formal
2
0
Fork 1
Code Issues 8 Pull requests Actions Packages Projects Releases Wiki Activity

Add flake #4

Merged
Yehowshua merged 10 commits from Artturin/RiscV-Formal:addnix into main 2025-03-14 15:55:41 +00:00
Conversation 0 Commits 10 Files changed 7 +13 -1
1 changed files with 13 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 56a80fe749 - Show all commits

14
flake.nix
View file

@ -31,7 +31,19 @@
};
shell =
let
riscv64-linux = prev.pkgsCross.riscv64-embedded.__splicedPackages;
#riscv64-linux = prev.pkgsCross.riscv64-embedded.__splicedPackages;
riscv64-linux = (import prev.pkgs.path {
localSystem = system;
crossSystem = {
config = "riscv64-none-elf";
libc = "newlib";
gcc = {
arch = "rv64g";
abi = "lp64d";
};
};
}).__splicedPackages;
in
{
tools = {