4 Commits

Author	SHA1	Message	Date
Samuel Dionne-Riel	f9d5de05d2	sd-image-raspberrypi4: Use u-boot for booting ... This includes setting up everything for the mainline Raspberry Pi 4 image. In fact, the only difference left in the Raspberry Pi 4-specific image is the kernel from the vendor.	2020-12-31 18:20:49 +01:00
rnhmjoj	20d491a317	treewide: completely remove types.loaOf	2020-09-02 00:42:50 +02:00
Samuel Dionne-Riel	476c8e0754	sd-image-raspberrypi4: mount boot partition ... This should have been done initially, as otherwise it gets awfully awkward to boot into new generations by default. This system-specific image wasn't expected to be long-lived, thus why it didn't end up being polished much. Reality shows us we may be stuck with it for a bit longer, so let's make it easier to use for new users.	2020-06-11 14:41:18 -04:00
Thomas Kerber	cc5baf2d86	Various: Add support for raspberry pi 4.	2019-09-17 04:05:16 +01:00