Commit Graph

20 Commits

Author SHA1 Message Date
Sebastien Bourdeauducq a99ee3ec32 use Nix files from zynq-rs 2020-09-09 16:58:37 +08:00
Sebastien Bourdeauducq c3f9a76f2a use openocd files from zynq-rs 2020-09-09 15:44:29 +08:00
Sebastien Bourdeauducq 4dfd82f6ec nix: pin mozilla overlay 2020-09-09 15:19:43 +08:00
Sebastien Bourdeauducq d6ab23de1f xbuild -> cargo-xbuild 2020-08-25 17:39:42 +08:00
Sebastien Bourdeauducq 949adbd90a cargo-xbuild: cleanup 2020-08-25 16:59:57 +08:00
pca006132 e592efb2b8 enabled L2 cache and optimized ethernet 2020-08-25 14:51:39 +08:00
Sebastien Bourdeauducq e750b61973 shell.nix: add binutils 2020-07-07 19:39:30 +08:00
Sebastien Bourdeauducq 6f37128911 use clang-unwrapped 2020-07-02 21:50:19 +08:00
Sebastien Bourdeauducq ea58e284b1 add back llvm_9
We need objcopy.
2020-06-28 18:12:27 +08:00
Sebastien Bourdeauducq ed88b02403 do not install LLVM tools
The ARTIQ compiler now uses binutils and depends on it.
2020-06-28 18:07:57 +08:00
Sebastien Bourdeauducq aff7c3a40b add local run script 2020-06-05 11:46:11 +08:00
Sebastien Bourdeauducq 53e1af81b6 add Antmicro Zynq mkbootimage utility 2020-05-01 10:51:13 +08:00
Sebastien Bourdeauducq 2439ba1f88 add impure incremental build process, document 2020-05-01 10:07:38 +08:00
Sebastien Bourdeauducq c28c567e72 pure Nix build system 2020-04-30 21:04:28 +08:00
Sebastien Bourdeauducq b123e15b3c SDRAM loader 2020-04-28 19:07:49 +08:00
Sebastien Bourdeauducq 826368205f shell.nix: use LLVM tools 2020-04-28 16:22:22 +08:00
Sebastien Bourdeauducq 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
Sebastien Bourdeauducq 1d7914a20a add simple ARTIQ kernel 2020-04-12 09:45:52 +08:00
Sebastien Bourdeauducq 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
Sebastien Bourdeauducq d4f1e22a76 add shell.nix 2020-04-11 18:05:33 +08:00