Sebastien Bourdeauducq
44c2c0fe4d
support Kasli-SoC in run scripts
2021-06-25 17:03:55 +08:00
Sebastien Bourdeauducq
4c2c23fcdd
shell.nix: install pyftdi (for POR GPIO)
2021-06-25 16:03:26 +08:00
Sebastien Bourdeauducq
480a80cab7
shell.nix: use kasli-soc SZL
2021-06-25 16:03:07 +08:00
Sebastien Bourdeauducq
2ba4d8935d
fix compilation with nixpkgs 21.05
...
The environment variable is optional to keep compatibility with other build environments.
Closes #131
2021-06-25 15:57:39 +08:00
Sebastien Bourdeauducq
3f9bd06468
add Kasli-SoC generic gateware builder (WIP)
2021-02-07 14:44:32 +08:00
Astro
a5ccabb8e6
follow changes in zynq-rs
2021-01-15 01:02:15 +01:00
Sebastien Bourdeauducq
1695076baf
shell.nix: add artiq-netboot
2020-10-15 16:16:53 +08:00
Sebastien Bourdeauducq
5c62d6a141
update dependencies, disable custom compiler_builtins ( #113 )
2020-10-13 21:51:40 +08:00
Sebastien Bourdeauducq
eab839aed0
follow changes in zynq-rs
2020-10-13 19:12:55 +08:00
Sebastien Bourdeauducq
86b9045417
use liconfig, libcoreio, szl from zynq-rs
2020-09-09 18:44:12 +08:00
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
