zynq: use u-boot wrapper for kernel and initrd and support for zc706

cleverca22 / not-os

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

MIT License

791 stars 40 forks source link

zynq: use u-boot wrapper for kernel and initrd and support for zc706 #26

Closed fsagbuya closed 9 months ago

fsagbuya commented 9 months ago

Description

This patch aims to:

Add support for u-boot wrapped kernel and initrd for zynq image
Use the zc706 zynq variant

Reference:

initrd: https://xilinx-wiki.atlassian.net/wiki/spaces/A/pages/18842473/Build+and+Modify+a+Rootfs
kernel: https://xilinx-wiki.atlassian.net/wiki/spaces/A/pages/18842481/Build+kernel

Tested to boot on zynq-zc706 board.