9 Commits

Author	SHA1	Message	Date
Sebastien Bourdeauducq	4ef1b6e76d	artiq-board: disable timing check	2020-07-26 23:51:19 +08:00
Sebastien Bourdeauducq	888481c0ce	typo	2020-07-12 23:20:31 +08:00
Sebastien Bourdeauducq	cc5694dedf	artiq-board: allow setting src	2020-07-12 23:19:40 +08:00
Astro	c00c10e223	artiq-board: fix and simplify check for timing criteria ... Re-fixes Gitea issue #15	2020-06-25 00:21:48 +02:00
Astro	f1325dce29	artiq-board.nix: move inputs outside inner function, accept vivado as arg to cut memory usage	2020-06-17 23:20:23 +02:00
Sebastien Bourdeauducq	7d740fd464	lock cargo and cargo-vendor ... With nixpkgs 20.03, the provided cargo package can no longer use the old rustc-or1k.	2020-04-04 13:02:18 +08:00
Sebastien Bourdeauducq	60e16ada2a	artiq: use cargosha256.nix file	2019-11-01 10:28:53 +08:00
Sebastien Bourdeauducq	41b94d29a1	artiq-board: allow absence of bootloader ... The Sayma RTM FPGA does not have one.	2019-10-07 12:19:31 +08:00
Sebastien Bourdeauducq	dfa5b47d9b	rename jobsets to artiq-fast/artiq-full	2019-07-17 19:19:43 +08:00