5c62d6a141
update dependencies, disable custom compiler_builtins ( #113 )
2020-10-13 21:51:40 +08:00
eab839aed0
follow changes in zynq-rs
2020-10-13 19:12:55 +08:00
86b9045417
use liconfig, libcoreio, szl from zynq-rs
2020-09-09 18:44:12 +08:00
a99ee3ec32
use Nix files from zynq-rs
2020-09-09 16:58:37 +08:00
c3f9a76f2a
use openocd files from zynq-rs
2020-09-09 15:44:29 +08:00
4dfd82f6ec
nix: pin mozilla overlay
2020-09-09 15:19:43 +08:00
d6ab23de1f
xbuild -> cargo-xbuild
2020-08-25 17:39:42 +08:00
949adbd90a
cargo-xbuild: cleanup
2020-08-25 16:59:57 +08:00
e592efb2b8
enabled L2 cache and optimized ethernet
2020-08-25 14:51:39 +08:00
e750b61973
shell.nix: add binutils
2020-07-07 19:39:30 +08:00
6f37128911
use clang-unwrapped
2020-07-02 21:50:19 +08:00
ea58e284b1
add back llvm_9
...
We need objcopy.
2020-06-28 18:12:27 +08:00
ed88b02403
do not install LLVM tools
...
The ARTIQ compiler now uses binutils and depends on it.
2020-06-28 18:07:57 +08:00
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
