[seL4] Re: Gpu passthrough

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)?🙏 El mié, 10 abr 2024 a las 0:37, Peter Chubb () escribió:

...

...

...

...

...

"Hugo" == Hugo V C writes:

Hugo> Hi all, here a simple question: is there any example/tutorial Hugo> off gpu passthrough to a Linux guest?

YES ... It's not as simple as it needs to be yet (we're still working on things) but the example in https://github.com/au-ts/libvmm/tree/main/examples/framebuffer might get you going.

-- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.