On Thu, Jan 16, 2025 at 8:11 PM Tim Harvey <[email protected]> wrote:
> I'm not sure I agree that they should be considered nasty warnings and > removed. What if you intended tee.bin to be included but forgot to > copy it here and you end up with this? If tee is not used, we should not get warnings about missing tee.bin . I sent a patch. Please give it a try.

