Florian Agbuya

fsagbuya pushed to postboot at fsagbuya/nix-servo

2024-01-16 14:33:53 +08:00

8f664049d6 zynq: remove strace and add wget

fsagbuya commented on pull request M-Labs/nix-servo#19

2024-01-16 14:21:19 +08:00

Resize root partition on first boot and include wget

Why do we need strace?

This is something not-os provided by default. Will remove strace.

fsagbuya created pull request M-Labs/nix-servo#19

2024-01-16 13:40:21 +08:00

Resize root partition on first boot and include wget

fsagbuya created branch postboot in fsagbuya/nix-servo

2024-01-16 13:21:12 +08:00

fsagbuya pushed to postboot at fsagbuya/nix-servo

2024-01-16 13:21:12 +08:00

d4055b3c18 zynq: add wget

c74391e94e zynq: add first boot commands

Compare 2 commits »

fsagbuya pushed to hostkey at fsagbuya/nix-servo

2024-01-15 17:52:13 +08:00

bd4885c597 enable host key generation on first boot

fsagbuya commented on pull request M-Labs/nix-servo#18

2024-01-15 17:35:40 +08:00

Enable host key generation on first boot

I tested again and there's no need to remove these lines. I guess I mistakenly rebuild the image before, that's why the keygen restarted. Will add them again. Apologies.

fsagbuya commented on pull request M-Labs/nix-servo#18

2024-01-15 17:21:42 +08:00

Enable host key generation on first boot

I see. I just thought the owner have some use case why he is using the static host keys. Will add to the not-os PR then.

fsagbuya commented on pull request M-Labs/nix-servo#18

2024-01-15 17:19:42 +08:00

Enable host key generation on first boot

If not removed, these lines seems to cause the keygen to run every time the machine reboots.

fsagbuya commented on pull request M-Labs/nix-servo#18

2024-01-15 17:18:18 +08:00

Enable host key generation on first boot

Will just use ed25519 then.

fsagbuya pushed to hostkey at fsagbuya/nix-servo

2024-01-15 15:55:45 +08:00

53b528a37e enable host key generation on first boot

fsagbuya commented on pull request M-Labs/nix-servo#18

2024-01-15 15:29:36 +08:00

Enable host key generation on first boot

I don't think the static host keys are ever a good idea. Just generate on first boot at all times.

Understood. Will omit the the static part.

fsagbuya created pull request M-Labs/nix-servo#18

2024-01-15 15:12:18 +08:00

Enable host key generation on first boot

fsagbuya pushed to hostkey at fsagbuya/nix-servo

2024-01-15 15:06:54 +08:00

2a4fe846cc enable host key generation on first boot

fsagbuya created branch hostkey in fsagbuya/nix-servo

2024-01-15 15:06:54 +08:00

fsagbuya created pull request M-Labs/nix-servo#17

2024-01-13 22:15:17 +08:00

zynq: configure networking

fsagbuya pushed to network at fsagbuya/nix-servo

2024-01-13 21:59:55 +08:00

dad71891b6 zynq: configure networking

fsagbuya created branch network in fsagbuya/nix-servo

2024-01-13 21:59:55 +08:00

fsagbuya commented on pull request M-Labs/nix-servo#10

2024-01-08 19:51:33 +08:00

add not-os disk image builder and qemu

Updates: Added hydra build products and enable networking.

fsagbuya pushed to sdimage at fsagbuya/nix-servo

2024-01-08 19:47:42 +08:00

1f62e6a35e not-os: enable networking