Hi Simon, On Sun, 30 Mar 2025 at 14:29, Christopher Obbard <[email protected]> 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

