Hi Alice,
I wonder why the size differs. It is a good question. I would have expected not.
As far as I remember, I got it from the Intel website [1]. I am sure I did not look into 'linux-firmware.git' as you mentioned. I assume it should be picked up from there. I overlooked that, sorry.
Ah right, I have not thought of that. Since most distros will also pull there firmware images from there (I think) it makes correlating things easier.
I have tested it with your Genode branch, and it works!
Thanks for testing, that is good to know.
Regards Josef