On 15/11/20 8:56 pm, Samuel Thibault wrote:
> I have uploaded it in Debian a minute ago. We'll be able to start to use
> this in production :)

Unfortunately, it still does not work with the pci-arbiter.
I had a go at fixing that today but it's not quite working.
I am getting "mapping time: Gratutitous error".
Something is not quite right because I set the maptime to use_mach_dev but
there must be some other place trying to use the time and I haven't found that 
yet.

Damien

Reply via email to