|
|
208d56adb2
|
fix linien-server red pitaya dependencies
|
2024-03-20 13:40:09 +08:00 |
|
|
|
628582a981
|
add spidev on device tree
|
2024-03-15 11:46:51 +08:00 |
|
|
|
bc09e60a15
|
add fpga programming support
|
2024-03-14 13:03:09 +08:00 |
|
|
|
88b3197c0c
|
add provenance information
|
2024-03-08 14:35:59 +08:00 |
|
|
|
0cda432bf9
|
add fast-servo python init scripts
|
2024-03-08 14:35:59 +08:00 |
|
|
|
1244c84f67
|
fix typo
|
2024-03-06 17:53:13 +08:00 |
|
|
|
3618a1f17d
|
add linien-server package
|
2024-03-06 11:48:08 +08:00 |
|
|
|
22992e2e82
|
update nixpkgs and use upstream qemu
|
2024-03-05 09:50:55 +08:00 |
|
|
|
d6ac3944fb
|
linux: add fpga support
|
2024-03-04 17:40:33 +08:00 |
|
|
|
c61597ea4f
|
fix qemu build errors
|
2024-03-01 18:09:53 +08:00 |
|
|
|
efe58d8106
|
move not-os patches to dedicated folder
|
2024-03-01 17:14:09 +08:00 |
|
|
|
007ca18cab
|
fix homeless-shelter error
|
2024-03-01 16:39:56 +08:00 |
|
|
|
506bbcc0db
|
add fast-servo linien gateware
|
2024-03-01 16:39:56 +08:00 |
|
|
|
e12b672cdc
|
add __pycache__
|
2024-03-01 16:39:56 +08:00 |
|
|
|
cd9590503c
|
add fast-servo gateware support files
|
2024-03-01 16:39:56 +08:00 |
|
|
|
e4dcc0e84a
|
configure shutdown instructions in runit stage 3
|
2024-02-22 09:58:29 +08:00 |
|
|
|
1f3591a693
|
add nix substituters and update nix.conf
|
2024-02-20 14:02:51 +08:00 |
|
|
|
afa00efee3
|
clean up device tree package
|
2024-02-20 09:51:57 +08:00 |
|
|
|
25ef8fa486
|
refactor build script for better board management
|
2024-02-20 09:51:57 +08:00 |
|
|
|
073f1c9bbd
|
device tree source from u-boot and cleanup
|
2024-02-20 09:51:44 +08:00 |
|
|
|
388e7e7082
|
configure qemu with u-boot and cleanup
|
2024-02-20 09:51:00 +08:00 |
|
|
|
22129bc04e
|
fix fast-servo u-boot
|
2024-02-20 09:51:00 +08:00 |
|
|
|
62b8b691fe
|
configure device-tree support
|
2024-02-20 09:50:41 +08:00 |
|
|
|
69a252e488
|
add fast-servo bootimage, sd-image and cleanup
|
2024-02-20 09:48:40 +08:00 |
|
|
|
ae31216084
|
add fast-servo fsbl support
|
2024-02-20 09:48:40 +08:00 |
|
|
|
e6f4512554
|
add device-tree builder
|
2024-02-20 09:48:40 +08:00 |
|
|
|
eb10e3ad4e
|
configure fast-servo u-boot
|
2024-02-20 09:48:40 +08:00 |
|
|
|
d17356e750
|
add fast-servo device tree files
|
2024-02-20 09:48:40 +08:00 |
|
|
|
72e91bfdb2
|
set NIX_PATH
|
2024-02-19 15:55:59 +08:00 |
|
|
|
a86db3cd33
|
add nano as default text editor
|
2024-02-15 17:29:11 +08:00 |
|
|
|
0de5ddeb1e
|
transfer definition of nameserver to avoid patch hunk error
|
2024-02-15 17:26:56 +08:00 |
|
|
|
38638fa5fe
|
fix modprobe and nix-path-registration error
|
2024-02-14 16:58:40 +08:00 |
|
|
|
b252e0a913
|
add ssl certificates
|
2024-01-22 11:30:40 +08:00 |
|
|
|
e94262db53
|
remove kernel module bloat
|
2024-01-17 17:56:38 +08:00 |
|
|
|
2639192a92
|
replace nameserver
|
2024-01-17 10:33:29 +08:00 |
|
|
|
f6055cf908
|
fix login errors
|
2024-01-17 10:16:17 +08:00 |
|
|
|
8f664049d6
|
zynq: remove strace and add wget
|
2024-01-16 14:33:22 +08:00 |
|
|
|
c74391e94e
|
zynq: add first boot commands
|
2024-01-16 12:21:37 +08:00 |
|
|
|
bd4885c597
|
enable host key generation on first boot
|
2024-01-15 17:51:52 +08:00 |
|
|
|
dad71891b6
|
zynq: configure networking
|
2024-01-13 21:59:22 +08:00 |
|
|
|
1f62e6a35e
|
not-os: enable networking
|
2024-01-08 19:44:52 +08:00 |
|
|
|
1aee5344a5
|
flake: add not-os disk image builder and qemu
|
2024-01-05 12:43:23 +08:00 |
|
|
|
543a8632c6
|
flake: add hydraJobs
|
2024-01-02 17:21:01 +08:00 |
|
|
|
f14b459624
|
flake: apply not-os patches
|
2024-01-02 17:09:10 +08:00 |
|
|
|
f172746e89
|
add not-os nixpkgs related patches
|
2024-01-02 17:06:42 +08:00 |
|
|
|
0f97509b78
|
add not-os zynq related patches
|
2024-01-02 17:05:54 +08:00 |
|
|
|
3f92b3f13b
|
activationSripts: add previous var value (closes #6)
|
2024-01-02 14:05:45 +08:00 |
|
|
|
d12dee6198
|
flake: update flake inputs
|
2024-01-02 13:41:57 +08:00 |
|
|
|
791e9abd7a
|
update flake inputs
|
2023-12-21 15:50:38 +08:00 |
|
|
|
aff470615c
|
update not-os patch
|
2023-12-21 14:06:24 +08:00 |
|
