genode/tool/run/image
Christian Helmuth ed9a8299b2 run/image/uboot: merge with uboot_fit
Both modules were quite similar except the the name of the FIT image
(image.itb) and the mkimage command line. FIT images are now produced by
the following RUN_OPT.

  RUN_OPT += --include image/uboot --image-uboot-fit

Issue #4693
2022-12-02 11:08:59 +01:00
..
disk tool/run: improve disk image size automatic 2022-04-13 08:08:00 +02:00
iso run: rename 'check_installed' to 'installed_command' 2018-07-03 09:39:31 +02:00
uboot run/image/uboot: merge with uboot_fit 2022-12-02 11:08:59 +01:00
uefi tool: boot Genode on bare metal Linux 2019-12-19 16:59:02 +01:00