Commit Graph

10 Commits

Author SHA1 Message Date
aff7c3a40b add local run script 2020-06-05 11:46:11 +08:00
53e1af81b6 add Antmicro Zynq mkbootimage utility 2020-05-01 10:51:13 +08:00
2439ba1f88 add impure incremental build process, document 2020-05-01 10:07:38 +08:00
c28c567e72 pure Nix build system 2020-04-30 21:04:28 +08:00
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