Hi Peter, this link you provided for Framebuffer example: https://github.com/au-ts/libvmm/tree/main/examples/framebuffer
is no more valid (I get 404). Is it anywhere else? Moved? On the other side, about GPU passthrougth example for QEMU "There's going to be within a couple of weeks, assuming nothing gets in my way. It'll run on QEMU so anyone can give it a go without specific hardware." does it finally got online? If so, where? Best, _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems