Florian Agbuya fsagbuya
  • Joined on 2023-09-27
fsagbuya created pull request M-Labs/nix-servo#29 2024-02-15 10:17:38 +08:00
Add new ip route setting
fsagbuya created branch advmss in fsagbuya/nix-servo 2024-02-15 10:14:52 +08:00
fsagbuya pushed to advmss at fsagbuya/nix-servo 2024-02-15 10:14:52 +08:00
3d5299f8c6 add new ip route setting
fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-14 17:49:17 +08:00
49f9b3e095 device tree source from u-boot and cleanup
fsagbuya commented on pull request M-Labs/nix-servo#24 2024-02-14 17:10:05 +08:00
Add fast-servo board support

Ah yes. I didn't think of that. Will change it to zynq-fast-servo in u-boot.

fsagbuya created pull request M-Labs/nix-servo#25 2024-02-14 17:01:11 +08:00
Fix modprobe and nix-path-registration error
fsagbuya pushed to fixes at fsagbuya/nix-servo 2024-02-14 16:58:50 +08:00
38638fa5fe fix modprobe and nix-path-registration error
b252e0a913 add ssl certificates
e94262db53 remove kernel module bloat
2639192a92 replace nameserver
f6055cf908 fix login errors
Compare 20 commits »
fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-14 16:12:19 +08:00
08bcf27579 device tree source from u-boot and cleanup
fsagbuya commented on pull request M-Labs/nix-servo#24 2024-02-14 16:06:26 +08:00
Add fast-servo board support

Will add this to a separate PR.

fsagbuya commented on pull request M-Labs/nix-servo#24 2024-02-14 16:05:35 +08:00
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…

fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-14 15:54:20 +08:00
b6c55eeb66 device tree source from u-boot and cleanup
fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-14 15:34:04 +08:00
e980c9255f device tree source from u-boot instead of kernel
fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-13 17:47:17 +08:00
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
Compare 6 commits »
fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-12 13:25:23 +08:00
fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-12 13:01:47 +08:00
6fac78ce76 remove proc/uptime indicator
fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-12 11:17:44 +08:00
1ce024b8ea fix modprobe and nix-path-registration error
fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-12 10:28:05 +08:00
17183a4b08 configure qemu with u-boot and cleanup
c54f3fdc9f fix fast-servo u-boot
b78222a70b configure device-tree support
Compare 3 commits »
fsagbuya pushed to fast-servo at fsagbuya/nix-servo 2024-02-02 16:41:04 +08:00
ef3d574020 fix fast-servo u-boot
64e3e095e5 configure device-tree support
Compare 2 commits »
fsagbuya commented on pull request M-Labs/nix-servo#24 2024-02-01 18:24:54 +08:00
Add fast-servo board support

Updated. Still need to work out the device tree to have one source of truth (i.e. .dts file).

fsagbuya commented on pull request M-Labs/nix-servo#24 2024-02-01 18:23:12 +08:00
Add fast-servo board support

Patch for fast-servo will only be applied if fast-servo board is selected. d75530b07b/flake.nix (L239)