I don't think it is the proprietary driver - in the video they say "mainline Linux with DRM/KMS graphics acceleration" - afaik ARM's proprietary driver doesn't use KMS.
I don't think it is the proprietary driver - in the video they say "mainline Linux with DRM/KMS graphics acceleration" - afaik ARM's proprietary driver doesn't use KMS.