Commit Graph

6 Commits

Author SHA1 Message Date
b123e15b3c SDRAM loader 2020-04-28 19:07:49 +08:00
826368205f shell.nix: use LLVM tools 2020-04-28 16:22:22 +08:00
848cd28d44 shell.nix: remove openocd/gdb
Regular development flow is with remote_run.sh, and those packages are easy to install manually if needed.
Also make the environment complete and usable in nix-shell --pure.
2020-04-28 15:08:41 +08:00
1d7914a20a add simple ARTIQ kernel 2020-04-12 09:45:52 +08:00
4a171ed29c shell.nix: use local channel-rust-nightly.toml
Cargo won't let us use the Nix-downloaded copy of zc706 (no way to specify source paths from environment variables,
no way to override Cargo config file without overriding the whole CARGO_HOME) so having such a copy just makes
things complex and inconsistent.
2020-04-11 19:01:42 +08:00
d4f1e22a76 add shell.nix 2020-04-11 18:05:33 +08:00