Re: Linux kernel with rpmsg and possibility for compiling powervr drivers