genode/repos/base/ports
Alexander Boettcher 33db0e0d4d base: add uboot for imx8 as port
that contains scripts to download and build uboot

Fixes #3584
2019-12-19 17:01:42 +01:00
..
grub2.hash grub2: avoid switching modes 2018-06-12 12:11:44 +02:00
grub2.port grub2: avoid switching modes 2018-06-12 12:11:44 +02:00
uboot.hash base: add uboot for imx8 as port 2019-12-19 17:01:42 +01:00
uboot.port base: add uboot for imx8 as port 2019-12-19 17:01:42 +01:00