Re: [PATCH v2 1/1] image.h: use uint32_t instead of u32 in android_image_get_dtb*

Hello Heinrich,

On Sat, Mar 07, 2020 at 09:31:17PM +0100, Heinrich Schuchardt wrote:

Whichever way you want to go we should finalize the topic as it stops EFI patches from being merged.

Could you please review https://patchwork.ozlabs.org/patch/1250963/ ?