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
