Add functionality to bbl to modify the device tree passed to Linux to
specify the MicroSemi PCIe device.
Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
Update to the latest version of the RISC-V Proxy Kernel. This means we
are running an updated bbl.
Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
bbl_payload requires the kernel deployed artifacts (e.g. vmlinux) during
compile time in order to generate the final bbl binary, so add
virtual/kernel:do_deploy as a do_compile dependency to get the
dependency task in the expected order.
Signed-off-by: Ricardo Salveti <ricardo@opensourcefoundries.com>
bbl has a machine specific payload (vmlinux), so it should be
machine-specific too. Otherwise riscv-pk build for different machines
will collide.
Signed-off-by: Taras Kondratiuk <takondra@cisco.com>
