7167c34bfe
nixbld: install nixops, remove virtmanager
2019-10-21 21:38:24 +08:00
6b39084e8d
add nixops files
2019-10-21 21:26:44 +08:00
ed516be5ef
rpi: install lm_sensors and file
2019-10-21 18:28:14 +08:00
379335cc6e
nixbld: remove unnecessary NetworkManager setting
...
We are not using NetworkManager here.
2019-10-21 16:12:57 +08:00
833a9c7430
nixbld: add perso.m-labs.hk
2019-10-17 15:17:42 +08:00
3aa23cacfc
nixbld: fix indentation
2019-10-17 14:36:49 +08:00
3d17cacda7
misoc: bump
2019-10-16 18:00:26 +08:00
0469ca21da
nixbld: get static IPs out of DHCP range, and give them DNS entries
2019-10-16 17:49:00 +08:00
d77fcf79ef
stabilizer: update cargoSha256
2019-10-16 17:27:23 +08:00
ff09666bfe
rpi: disable /boot partition
...
https://github.com/NixOS/nixpkgs/issues/22014#issuecomment-290152982
2019-10-16 15:48:20 +08:00
68534d2ce2
nixbld: IPv6 on internal networks
2019-10-16 13:48:13 +08:00
e89afabdfb
nixbld: isolate wifi network. Closes #20
2019-10-15 19:42:26 +08:00
dd490121b6
nixbld: filter CUPS access using firewall
...
CUPS listenAddresses is problematic.
2019-10-15 19:20:32 +08:00
f3fe798126
nixbld: disable libvirtd ( #20 )
2019-10-15 17:26:51 +08:00
0e9b1b6516
artiq-full: generate vlbai master/satellite ddb
2019-10-15 09:58:02 +02:00
1f5ff43846
artiq-full: generate DDB templates for DRTIO systems
2019-10-15 11:16:11 +08:00
b7bc5ecc84
artiq-full: build new systems
2019-10-10 17:17:19 +08:00
a2a58f0532
artiq: build for NixOS 19.09
2019-10-10 10:54:03 +08:00
c0c9af04d4
nixbld: add openhardware.hk site
2019-10-09 21:33:37 +08:00
a85a16ff73
nixbld: remove fractalide
2019-10-09 21:08:12 +08:00
dfe48379c5
nixbld: document secret permissions
2019-10-09 10:41:15 +08:00
d5ce8ce4c3
bscan_spi_bitstreams: bump
2019-10-08 12:47:28 +08:00
ad04c877d3
migen: bump
2019-10-08 12:29:51 +08:00
ec32280ed6
migen: bump
2019-10-08 00:12:29 +08:00
1062353e4a
migen: bump
2019-10-07 20:30:39 +08:00
52792c38e1
conda-channel: symlink packages instead of copying them
2019-10-07 13:14:40 +08:00
bc66970d62
artiq-full: add conda packages for sayma/metlino
2019-10-07 12:20:49 +08:00
2bba980f49
artiq-full: refresh sayma build derivations
2019-10-07 12:20:32 +08:00
41b94d29a1
artiq-board: allow absence of bootloader
...
The Sayma RTM FPGA does not have one.
2019-10-07 12:19:31 +08:00
ff352eec52
migen: bump
2019-10-06 18:20:29 +08:00
c6444e2cc0
misoc: bump
2019-10-06 18:19:44 +08:00
a5531baae3
migen: bump
2019-10-06 13:10:59 +08:00
616f878714
misoc: bump
2019-10-06 13:10:15 +08:00
9502c2b0a8
misoc: bump
2019-10-05 11:04:23 +08:00
98fb754b74
migen: bump
2019-10-04 23:04:41 +08:00
694ba9dfac
migen: bump
2019-10-04 21:32:19 +08:00
b8dc4624f7
artiq-full: add saymamaster
2019-10-04 21:20:13 +08:00
2375b90ebf
migen: bump
2019-10-04 19:11:33 +08:00
6a09d1cc6f
nixbld: add QF users
2019-09-30 10:33:28 +08:00
e05fd797fd
nixbld: install gdb system-wide
2019-09-30 10:33:28 +08:00
e694e32c08
artiq-full: add mpq
2019-09-27 10:39:49 +02:00
771b91f4f3
nixbld: support yubikey+password 2FA
2019-09-22 20:25:03 +08:00
5a023b7e8f
urukul: build with nixos 19.09
2019-09-19 09:50:56 +08:00
50859120da
stm32: build with nixos 19.09
2019-09-19 09:50:37 +08:00
dcf0397bc8
web: build with nixos 19.09
2019-09-19 09:45:40 +08:00
099b7dee2a
nixbld: store email account info in /etc/nixos/secret
2019-09-19 09:44:34 +08:00
d28167badf
Revert "nixbld: use store_uri for hydra"
...
secret-key should not be used with the local store (https://github.com/NixOS/hydra/issues/679#issuecomment-532607341 )
This reverts commit ef80154c64
2019-09-18 18:46:18 +08:00
ef80154c64
nixbld: use store_uri for hydra
...
Note that binary_cache_secret_key_file is actually not ignored, contrary to what the hydra warning message says.
binary_cache_secret_key_file is used by the perl code, when hydra itself as acting as a binary cache (over http), but store-uri is used by the c++ code, when the queue-runner is copying artifacts into whatever the store-uri is
This mess ought to be cleaned up in hydra at some point.
2019-09-18 17:35:39 +08:00
361d7445a5
nixbld: cleanup
2019-09-18 15:38:07 +08:00
0f45d03e32
nixbld: fix flarum 'bad gateway' error
2019-09-18 14:23:14 +08:00
