On 4/10/24 04:32, Hugo V.C. wrote:
Thank you Peter, I'll give it a try... Anyway, is there any "out-of-the-box" example of a Linux Guest with gpu passthrough enabled? I mean, it would be nice to have a real example demo ready to use so engineers/companies around the Globe can try it. I'm getting mad trying to run a Firefox in a Linux Guest (see attached screenshot) and was jut able to start it on a headless Linux guest server with no GPU (remote X window) but performance is horrible (not usable) so I can not even do a demo. This is a show stopper for seL4. It is nice to have all the stuff to build thing "from scratch", but the market needs "ready to use" stuff so people can try it. Is there anything usable out there (just to try)?🙏
What is your goal here? Is the Linux guest trusted or untrusted? If it is trusted, what untrusted code is running on the system? What hardware are you running on? -- Sincerely, Demi Marie Obenour (she/her/hers)