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 -1
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 8037eeba19 - Show all commits

1
flake.nix
View file

@ -60,7 +60,6 @@
qemu
riscv64-linux.gcc
riscv64-linux.binutils
riscv64-linux.glibc
];
shellHook = ''
export CROSS_PREFIX="riscv64-none-elf"