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 (<peter.ch...@unsw.edu.au>) escribió: > >>>>> "Hugo" == Hugo V C <skydive...@gmail.com> 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. > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
