Florian Agbuya

fsagbuya created repository fsagbuya/artiq-zynq

2023-12-20 08:32:23 +08:00

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

2023-12-18 15:45:58 +08:00

flake: configure u-boot to autoboot kernel

fsagbuya created branch uboot in fsagbuya/nix-servo

2023-12-18 15:39:08 +08:00

fsagbuya pushed to uboot at fsagbuya/nix-servo

2023-12-18 15:39:08 +08:00

8c8001ee88 flake: configure u-boot to autoboot kernel

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

2023-12-15 17:30:24 +08:00

add not-os disk image builder and qemu

Understood. Will do as suggested.

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

2023-12-15 17:07:06 +08:00

add not-os disk image builder and qemu

Does it boot?

In QEMU yes. Still need to test in the physical board.

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

2023-12-15 17:04:54 +08:00

add not-os disk image builder and qemu

The VM method is mainly from make-disk-image.nix and some examples in Github. This can be helpful to run disk…

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

2023-12-15 15:49:09 +08:00

flake: add not-os disk image builder

fsagbuya pushed to sdimage at fsagbuya/nix-servo

2023-12-15 15:42:59 +08:00

12e0f79931 flake: add not-os disk image builder

fsagbuya created branch sdimage in fsagbuya/nix-servo

2023-12-15 15:35:26 +08:00

fsagbuya pushed to sdimage at fsagbuya/nix-servo

2023-12-15 15:35:26 +08:00

f759fe6229 flake: add not-os disk image builder

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

2023-12-13 17:32:33 +08:00

flake: use the uImage format for not-os

Updated.

Patches from not-os flake moved to zynq_image.nix module to avoid redundancy and complexity.
platform definition removed as already defined in the updated patch.

Build…

fsagbuya pushed to uimage at fsagbuya/nix-servo

2023-12-13 17:16:38 +08:00

3b34e11cbf flake: use the uImage format for not-os

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

2023-12-13 11:29:04 +08:00

flake: use the uImage format for not-os

I initially thought this was also not needed. However, omitting this part results to:

cp: cannot stat 'arch/arm/boot/uImage': No such file or directory

It appears this is just how the…

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

2023-12-13 11:14:34 +08:00

flake: use the uImage format for not-os

fsagbuya created branch uimage in fsagbuya/nix-servo

2023-12-13 11:07:12 +08:00

fsagbuya pushed to uimage at fsagbuya/nix-servo

2023-12-13 11:07:12 +08:00

02ef298038 flake: use the uImage format for not-os

ed7d4386b9 update not-os patch hash

a9a3c64aff fix not-os patch hash

Compare 3 commits »

fsagbuya pushed to master at M-Labs/nix-servo

2023-12-13 09:55:32 +08:00

ed7d4386b9 update not-os patch hash

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

2023-12-12 16:52:19 +08:00

flake: fix not-os

Updated using IFD pattern for not-os patches.

fsagbuya pushed to not-os at fsagbuya/nix-servo

2023-12-12 16:50:03 +08:00

0f1acb3e10 flake: fix not-os