[PATCH v4 0/5] rpi: Tidy up booting

[Christopher Obbard]

Hi Simon,

On Sun, 30 Mar 2025 at 14:29, Christopher Obbard
<christopher.obbard at linaro.org> wrote:
> Side note: It would be quite nice to add kernel_comp_addr_r and
> kernel_comp_size to be able to boot compressed kernels; I will put
> this on my TODO list for some day.

Please disregard this false information. I looked at the diff again;
you already added it in your series. I also tested it; works well!


Thanks!

Chris