Add new ip route setting
Add fast-servo board support
Ah yes. I didn't think of that. Will change it to zynq-fast-servo
in u-boot.
Fix modprobe and nix-path-registration error
38638fa5fe
fix modprobe and nix-path-registration error
b252e0a913
add ssl certificates
e94262db53
remove kernel module bloat
2639192a92
replace nameserver
f6055cf908
fix login errors
Add fast-servo board support
I have added this before because .dtb
file from linux kernel nix build is executable. So I did it as well in fast-servo.dtb for consistency. However from testing, it also boots fine without…
24d668ac46
fix modprobe and nix-path-registration error
810fbf7aa5
configure qemu with u-boot and cleanup
10fb9ffff8
fix fast-servo u-boot
9e9d4f2564
configure device-tree support
c02e3de32b
add fast-servo bootimage, sd-image and cleanup
17183a4b08
configure qemu with u-boot and cleanup
c54f3fdc9f
fix fast-servo u-boot
b78222a70b
configure device-tree support
Add fast-servo board support
Updated. Still need to work out the device tree to have one source of truth (i.e. .dts
file).
Add fast-servo board support
Patch for fast-servo will only be applied if fast-servo board is selected. d75530b07b/flake.nix (L239)