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) _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
