|
|
0f1acb3e10
|
flake: fix not-os
Signed-off-by: Florian Agbuya <fa@m-labs.ph>
|
2023-12-12 16:49:03 +08:00 |
|
|
|
ba3934bb06
|
flake: fix mkbootimage (#2)
Signed-off-by: Florian Agbuya <fa@m-labs.ph>
|
2023-11-29 21:37:12 +08:00 |
|
|
|
ac4d1dfdce
|
cleanup
|
2023-11-28 18:35:56 +08:00 |
|
|
|
678b9f50cf
|
flake: use nixpkgs-unstable to build u-boot
|
2023-11-28 13:47:45 +08:00 |
|
|
|
21c77b4887
|
flake: add various package
|
2023-11-24 17:33:24 +08:00 |
|
|
|
03eaa5b0c4
|
flake: add u-boot and fsbl
|
2023-11-24 10:08:12 +08:00 |
|
|
|
abac1cc5b0
|
revert to mainline kernel
Signed-off-by: Florian Agbuya <fa@m-labs.ph>
|
2023-11-14 11:44:55 +08:00 |
|
|
|
a8542697f1
|
use the linux xilinx fork for the kernel
Signed-off-by: Florian Agbuya <fa@m-labs.ph>
|
2023-11-13 13:50:16 +08:00 |
|
|
|
9bb6f1171c
|
initial commit
|
2023-11-08 14:47:50 +08:00 |
|
