[seL4] Re: Gpu passthrough

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,