4 Commits

Author	SHA1	Message	Date
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