Hardware acceleration for Raspberry Pi 3B

Hi there,

I have a Raspberry Pi 3B running NixOS, serving a Kodi media centre. I am willing to enable hardware acceleration on the device, for video playback. So far, the related options in the host configuration are:

  imports = [ (modulesPath + "/installer/sd-card/sd-image-aarch64.nix") ];

  boot.kernelParams = [ "cma=320M" ];
  boot.kernelModules = [ "bcm2835-v4l2" "vc4" ];

  hardware.opengl = {
    enable = true;
    extraPackages = with pkgs; [
      # kind of hopeless, it works on other devices but here it's just inappropriate 

Kodi doesn’t even seem to list V4L2 as a possible rendering driver. I’ve hardly found any information on the web; do you have any experience with this use case on this device?

Thanks :slight_smile: